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
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: Ulrich Kohlenbach
Semester: WiSe 2022/23