Logik-Reste [beendet]
Dieser Kurs wurde beendet und wird nicht länger bearbeitet oder aktualisiert.
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 |
Lade Bewertungsübersicht
Lade Übersicht