Courses

Course title:Mathematical Logic and Set Theory
Faculty:Faculty of Science
Department:Department of Mathematics
Course code:KMA / 6LOTM
Credits:6
Semester:Winter
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:English
ISCED F broad: 
Annotation:The course introduces the students to fundamental notions, methods, and results in mathematical logic and set theory. The content 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.