Conducted in
terms:
Winter Semester 2019/20
Summer Semester 2019/20
Winter Semester 2019/20
Summer Semester 2019/20
ECTS credits:
6
Organized by:
Faculty of Computer Science
Logic and Set Theory IS-FCS-00058
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: