Lehrende: Prof. Dr. rer. nat. Martin Otto; Dr. rer. nat. Kord Eickmeyer
Veranstaltungsart: Vorlesung und Übung
Orga-Einheit: FB04 Mathematik
Anzeige im Stundenplan: Einf. Logik
Fach:
Anrechenbar für:
Semesterwochenstunden: 6
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | 50
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; Shoenfield: Mathematical Logic; Cori, Lascar: Mathematical Logic; Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic
Voraussetzungen: solide allgemeine mathematische Vorbildung
Online-Angebote: moodle
Introduction to Mathematical Logic Übung 1
Prof. Dr. rer. nat. Martin Otto; Dr. rer. nat. Kord Eickmeyer
Do, 16. Okt. 2014 [11:40]-Do, 12. Feb. 2015 [13:20]
Introduction to Mathematical Logic Übung 2
Do, 16. Okt. 2014 [16:15]-Do, 12. Feb. 2015 [17:55]