Logic and Set Theory IS-FCS-00058W

Description:
Algebra of sets. Propositional calculus. Logic of predicates. Axioms and inference rules. Satisfiability. Tautologies. The notion of formal proof. Methods of correct mathematical proofs. Relations. Equivalence
relations. Ordered sets. Functions. Countable and uncountable sets. Cantor and Cantora-Bernstein theorems. Lattices and Boolean algebras. Formal systems and their basic properties.

Requirements: