معلومات المقرر

Lehrinhalte
Syntax and semantics of first order logic; formal proofs in a calculus; completeness; compactness theorem; the 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;
lecture notes where provided

Voraussetzungen
recommended: solid mathematical foundations in Analysis and Linear Algebra