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
- Lehrende: Kord Eickmeyer
- Lehrende: Pedro Pinto
- Lehrende: Nicholas Pischke
Semester: WiSe 2023/24