Introduction to logic and Discrete Mathematics For Computer Engineering(!)

Logic and Set theory: propositional calculus, boolean operators and their truth tables, truth values of formulae, logical equivalence and logical inference, tautologies and contradictions, the important tautologies, e.g., the distributive laws and De Morgan formulae. Sets: inclusion, union, intersection, difference, cartesian product, relations, equivalence relations, partial orders, linear orders, and functions. Basic Combinatorics: induction, basic counting arguments, binomial coefficients, inclusion-exclusion, recursion and, generating functions. Graphs: general notions and examples, isomorphism, connectivity, Euler graphs, trees.