04-00-0148-vu Introduction to Mathematical Logic

Lehrende: Ph. D. Stephane Le Roux; Prof. Dr. rer. nat. Martin Otto

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Einf. Logik

Fach:

Anrechenbar für:

Semesterwochenstunden: 6

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | 50

Lehrinhalte:
Syntax und Semantik der Logik erster Stufe; formale Beweise in einem Kalkül;
Vollständigkeit; Kompaktheitssatz; logisch-mengentheoretische Grundlagen
der Mathematik; elementare Rekursionstheorie; Unentscheidbarkeit
und Unvollständigkeit.

Literatur:
exemplarisch, neben vielen anderen Lehrbüchern:
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

Voraussetzungen:
solide allgemeine mathematische Vorbildung