Übungsblätter
| Nr. | Thema | Download | Besprechung am |
|---|---|---|---|
| 1 | Semantik und Kalküle | 21.10.04 | |
| 2 | Tableaux- und Matrixbeweise | 04.11.04 | |
| 3 | Extensionsverfahren fuer Aussagen und Prädikatenlogik | 18.11.04 | |
| 4 | Unifikation und Beweisverfahren | 02.12.04 | |
| 5 | Reduktionen und Beweisverfahren | 16.12.04 | |
| 6 | Gleichheit und Termersetzung | 13.01.05 | |
| 7 | Induktion und konstruktive Logik | 27.01.05 | |
| 8 | Fragen zur Prüfungsvorbereitung |
Bearbeitung der Aufgaben
Die Bearbeitung der Übungsaufgaben ist freiwillig.