Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach; Ph.D. Anton Jonathan Freund
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: - | -
Digitale Lehre: The lectures will be given via Zoom on the dates given below. These Zoom-Lectures will also be recorded and subsequently made available on the Helios Media Server. Zoom Meeting ID 974 6928 2293, PIN 635367. Please also visit the associated Moodle page, in particular for information regarding the exercise sessions: https://moodle.tu-darmstadt.de/course/view.php?id=23805
Lehrinhalte: Syntax und Semantik der Logik erster Stufe; formale Beweise in einem Kalkül; Vollständigkeit; Kompaktheitssatz; Sätze von Löwenheim-Skolem; Satz von Herbrand; elementare Rekursionstheorie; konstruktive und modale Logiken; Unentscheidbarkeit und Unvollständigkeit.
Literatur: van Dalen: Logic and Structure. Ein Kurzskript wird ebenfalls zur Verfügung gestellt. Ausgewählte weitere Lehrbücher: 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.
Voraussetzungen: empfohlen: Solide mathematische Grundkenntnisse aus Analysis und Linearer Algebra
Online-Angebote: The lectures will be given via Zoom on the dates given below. These Zoom-Lectures will also be recorded and subsequently made available on the Helios Media Server. Zoom Meeting ID 974 6928 2293, PIN 635367. Please also visit the associated Moodle page, in particular for information regarding the exercise sessions: https://moodle.tu-darmstadt.de/course/view.php?id=23805
Introduction to Mathematical Logic "I'm waiting for a free exercise."
Prof. Dr. phil. nat. Ulrich Kohlenbach; Ph.D. Anton Jonathan Freund
Introduction to Mathematical Logic Exercise 1
Mo, 2. Nov. 2020 [15:20]-Mo, 8. Feb. 2021 [17:00]
Introduction to Mathematical Logic Exercise 2
Do, 5. Nov. 2020 [09:50]-Do, 11. Feb. 2021 [11:30]