(KUOPIO): Discrete Structures (DSR) (5 cr)

Evaluation scale

Five step scale

Objective

The student will: Understand the basic theory and the main notations of propositional logic and predicate logic and can use the basic tools of logical reasoning, such as, truth tables and Kanrnaugh’s maps Understand definitions, notations, the basic theory and the meaning of set theory, functions and relations. Manages the theory of combinatorics and can apply the theory into practice Manages the graph theory and can apply the theory into practice Manages mathematical induction

Content

Propositional and predicate logic, set theory, functions and relations, combinatorics, graph theory, mathematical induction

Location and time

Multi-modal teaching. Video lectures, labs: classroom teaching. The right answers of lab exercises are given only in lab sessions.

Materials

Lecture notes

Teaching methods

Multi-modal teaching by using flipped classroom method. On-line videos and other learning material offered on-line. Once a week a classroom lectures (2h). Classroom labs 7 times (7x2h). Two intermediate exams (2x2h) or final exam (4h). Independent work approximately 97,5 hours. 0-5. Evaluation is based on intermediate exams or final exam and lab scores. The lab scores are gained by doing lab exercises and participating in the classroom labs.