Time and place
Lecture: Di, Do, 12-14h, HS II, Albertstr. 23b
Tutorial: 2 hours, date to be determined
28.07., 14:00-17:00
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)