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 and semantics of first order logic; formal proofs in a calculus; completeness; compactness theorem; Löwenheim-Skolem theorems; Herbrand's theorem; elementary recursion theory; constructive and modal logics; undecidability and incompleteness.
Literatur
van Dalen: Logic and Structure.
A summarizing script will also be provided.
Selected further literature:
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
recommended: solid mathematical foundations in Analysis and Linear 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
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 and semantics of first order logic; formal proofs in a calculus; completeness; compactness theorem; Löwenheim-Skolem theorems; Herbrand's theorem; elementary recursion theory; constructive and modal logics; undecidability and incompleteness.
Literatur
van Dalen: Logic and Structure.
A summarizing script will also be provided.
Selected further literature:
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
recommended: solid mathematical foundations in Analysis and Linear 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
- Lehrende: Ulrich Kohlenbach
Semester: WT 2020/21