Course has neither
prerequisite
nor
preclusive
nor
recommended (for your information)
courses...
Course annotation
KMA/TML
-IS/STAG
The objective of this course is to introduce the students to the basics of mathematical logic and set theory. The first part of the course covers the propositional calculus as well as the first-order predicate calculus and includes an overview of the incompleteness results of K. Gödel. The set theory part introduces the students to the basics of axiomatic set theory and to notions such as infinite sets, cardinality or the ordinal numbers.