04-00-0148-vu Introduction to Mathematical Logic

Lehrende: Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Intr. Math. Logic

Fach:

Anrechenbar für:

Semesterwochenstunden: 6

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

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;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic;
van Dalen: Logic and Structure;
sowie Skripte

Voraussetzungen:
empfohlen: Solide mathematische Grundkenntnisse aus Analysis und Linearer Algebra

Online-Angebote:
moodle