Discrete StructuresLaajuus (5 cr)

Objective

-you know basics of logical deduction and you know hoe to use logical deduction tools, such as truth tables and Karnaugh maps.
-you know basics of predicate logic, basic operations of set theory, relation and function, and you know their connections to the propositional logic.
-you know how to use induction proof method, you know basics of combinatorics and graph theory.
-you understand the theory of combinatorics and you are able to apply the theory in practice.
-you understand graph theory (network theory) and you are able to apply the theory in practice.
-you understand mathematical induction.

Content

Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.