Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach
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
Introduction to Mathematical Logic "Ich warte auf eine freie Übung."
Prof. Dr. phil. nat. Ulrich Kohlenbach
Introduction to Mathematical Logic Übung 1
Mo, 17. Okt. 2022 [15:20]-Mo, 6. Feb. 2023 [17:00]
Introduction to Mathematical Logic Übung 2
Do, 20. Okt. 2022 [09:50]-Do, 9. Feb. 2023 [11:30]