Discrete StructuresLaajuus (5 cr)
Course unit code: C-10088-3621410
General information
- Credits
- 5 cr
- Teaching language
- Finnish
- English
- Institution
- University of Eastern Finland
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