Tutorium und Betreutes Lernen
Hier finden Sie die Termine der betreuten Lerngruppen sowie die Termine und Themen des Tutoriums.
- Die betreuten Lerngruppen finden am Dienstag von 16-18 Uhr im Raum OH14-104 sowie am Donnerstag von 12-14 Uhr im Raum OH16-205 statt. In diesen Gruppen kann bspw. das aktuelle Übungsblatt gelöst oder die Vorlesungsfolien nachgearbeitet werden. Es steht ein Tutor zur Beantwortung von Fragen zur Verfügung.
- Das Tutorium findet am Mittwoch von 12-14 Uhr in OH14-E23 statt. Im Tutorium soll der Stoff der Vorlesung wiederholt und anhand von Beispielen nachvollzogen werden. Themen des Tutoriums:
| Datum | Thema |
| 17.10. | Aussagenlogik: Modellierung |
| 24.10. | Aussagenlogik: Erfüllbarkeitstests |
| 31.10. | Aussagenlogik: Folgerungen |
| 7.11. | Modallogik: Modellierung und Äquivalenzen |
| 14.11. | Modallogik: Erfüllbarkeitstest und Folgerungen |
| 21.11. | Modallogik: Bisimulationen |
| 28.11. | Prädikatenlogik: Modellierung |
| 5.12. | Prädikatenlogik: Normalformen |
| 12.12. | Prädikatenlogik: Grundresolution |
| 19.12. | Prädikatenlogische Resolution |
| 9.1. | Prädikatenlogik: Wiederholung |
| 16.1. | Logische Programmierung und Prolog |
| 23.1. | Fragestunde und Wiederholung (Schwerpunkt: Modellierung) |
| 30.1. | Fragestunde und Wiederholung (Schwerpunkt: Algorithmen und Sonstiges) |