Course Contents
Syntax and semantics of first-order logic; formal proofs in a calculus; completeness; compactness theorem; logical and set-theoretical foundations of mathematics; elementary recursion theory; undecidability and incompleteness.
Literature
examples of useful literature:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik;
Shoenfield: Mathematical Logic;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic;
van Dalen: Logic and Structure;
Preconditions
recommended: solid mathematical foundations in Analysis and Linear Algebra
Online Offerings
moodle
- Lehrende: Martin Otto
- Lehrende: Marius Tritschler
Semester: WT 2024/25