After the course, the student knows basics of logical deduction and can use logical deduction tools, such as truth tables and Karnaugh maps. Student knows basics of predicate logic, basic operations of set theory, relation and function, and knows their connections to the propositional logic. Student can use induction proof method, knows basics of combinatorics and graph theory.