Lehrende: Prof. Dr. rer. nat. Martin Otto; Marius Fabian Tritschler
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
Voraussetzungen: empfohlen: Solide mathematische Grundkenntnisse aus Analysis und Linearer Algebra
Online-Angebote: moodle
Introduction to Mathematical Logic "Waitinglist"
Prof. Dr. rer. nat. Martin Otto; Marius Fabian Tritschler
Introduction to Mathematical Logic Exercise 1
Mi, 20. Okt. 2021 [11:40]-Mi, 16. Feb. 2022 [13:20]
Introduction to Mathematical Logic Exercise 2
Do, 4. Nov. 2021 [11:40]-Do, 17. Feb. 2022 [13:20]
Introduction to Mathematical Logic Exercise 3
Mi, 10. Nov. 2021 [09:50]-Mi, 16. Feb. 2022 [11:30]