Time and place
Lecture: Di, Do, 12-14h, HS II, Albertstr. 23b
Tutorial: 2 hours, date to be determined
Sir-in Exam: Date to be announced
Content
This introductory course in mathematical logic consists of several parts. It the basics of predicate logic and a brief introduction to model theory and the axiom system
as well as the axiom system of set theory. The aim of the lecture is to explain the
recursion-theoretical content of the predicate calculus, in particular the so-called Peano-
arithmetic and Gödel's incompleteness theorems.
Previous
knowledge
Basic knowledge of mathematics from first semester lectures
Usability
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Mathematical Concentration (MEd18, MEH21)
Pure Mathematics (MSc14)
Elective (MSc14)
Elective (MScData24)