Lehrende: Dr. rer. nat. Kord Eickmeyer; Dr. Pedro Pinto
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 "Waitinglist"
Dr. rer. nat. Kord Eickmeyer; Dr. Pedro Pinto
Introduction to Mathematical Logic Exercise 1
Mo, 16. Okt. 2023 [15:20]-Mo, 5. Feb. 2024 [17:00]
Introduction to Mathematical Logic Exercise 2
Do, 19. Okt. 2023 [09:50]-Do, 8. Feb. 2024 [11:30]