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) |