Um 04:00 Uhr findet das taegliche Datenbackup statt (Ausfallzeit ca. 20 Minuten). Bitte beenden Sie Ihre Arbeit vorher.
TU Dresden | Sommersemester 2021 Logik-Reste

Logik-Reste

Es gibt im Umfeld der klassischen Prädikatenlogik eine ganze Reihe von Themen und Ergebnissen, die sie schöner und verständlicher und anwendbarer machen. Die sind nicht im Grundkurs, weil wir das nicht schaffen und wie in jeder Disziplin eine Auswahl getroffen werden muß. Ein paar dieser Themen werden hier vorgestellt. Vorausgesetzt wird nur die bestandene Logikklausur (oder entsprechendes Wissen).

Wenn wir das schaffen, werden Sie 14tägig eine Vorlesung (Folien + Audio) finden und wir werden uns jede andere Woche in Präsenz treffen und Vorlesung und Aufgaben besprechen. Da werden Sie mehr arbeiten müssen.

Der Plan:

12.04.21 Vollständige Induktion
19.04.21 Diskussion & Aufgaben
26.04.21 Axiomatische Systeme
           03.05..21 Diskussion & Aufgaben
10.05.21 Funktionale Vollständigkeit
Normalformen
17.05.21 Diskussion & Aufgaben
31.05.21 Funktionale Konstanten
07.06.21 Diskussion & Aufgaben
14.06.21 Einsetzung, Ersetzung
21.06.21 Diskussion & Aufgaben
28.06.21 Substitutionssemantik
05.07.21 Diskussion & Aufgaben
12.07.21 Iterative Mengentheorie
19.07.21 Diskussion & Aufgaben
Display more information
Loading Assessment overview
Loading overview