Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.

Accept all Refuse

UO > Academics > Exchange Programmes > Course Catalogue

Courses

Course title:	Mathematical Logic and Set Theory
Faculty:	Faculty of Science
Department:	Department of Mathematics
Course code:	KMA / 7LOTM
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:	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.