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)