Course title:Mathematical Logic and Set Theory
Faculty:Faculty of Science
Department:Department of Mathematics
Course code:KMA / 7LOTM
Level of study:Bc.
Format of study:Lecture 3 [Hours/Week], Practical classes 1 [Hours/Week]
Name of the lecturer:prof. Ing. Vilém Novák, DrSc. (G); Mgr. Libor Běhounek, Ph.D.; RNDr. Martina Daňková, Ph.D.
Language:Czech, English
ISCED F broad: 
Annotation:The course introduces the students to fundamental notions, methods, and results in mathematical logic and set theory. The course covers the syntax and semantics of classical propositional and predicate logic, basic set-theoretic constructions and theorems, cardinal and ordinal numbers, and an axiomatic system for set theory.