Logic for Computer Scientists IN081104

Course content:
1. Operations and the rules of set theory.
2. The language of propositional logic and its semantics.Tautology.Rules of Inference.
3. The language of the first-order logic (terms and formulas). Examples of tautology.
4. Definitions of relations and examples of relations. Functions as relations: injective, surjective function, bijections
5 Equivalence relations and equivalence class. Fundamental Theorem of equivalence relations.
6. Relations of partial order, total order.
7. The theory of cardinality .