Teaching

Vorlesung

  • Mittwochs 5. DS im HSZ/AUDI
Folien zur Vorlesung

Meine Übungen

  • Montags 5. DS im SE1/101
  • Freitags 1. DS im BAR/218
Übungsaufgaben & Lösungen

Aktuelle Hinweise

In der letzten Übungsstunde werden wir die verbleibenden Übungsaufgaben zur Unifikation bzw. zur Resolution besprechen.

In der Übungsstunde am Freitag den 25.01.2008 soll der Schwerpunkt auf den Aufgaben A, B und D aus Abschnitt 4.2 sowie B und D aus Abschnitt 4.3 liegen.

In der Übungsstunde am Freitag den 18.01.2008 soll der Schwerpunkt auf den Aufgaben im Abschnitt 4.1 liegen, insbesondere die Aufgaben B, C und D.

In der Übungsstunde am Freitag den 11.01.2008 werden wir uns vor allem mit den Übungsaufgaben zum Kalkül des natürlichen Schließens (Abschnitt 3.4.2) beschäftigen.

In der letzten Übungsstunde in diesem Jahr am 21.12.07 soll der Fokus auf den Aufgaben in den Abschnitten 3.5.1 und 3.5.2 liegen.

In der Übungsstunde am Freitag den 14.12.07 werden wir uns mit dem Aufgabenkomplex 3.4 beschäftigen. Besondere Beachtung soll dabei den Aufgaben C, E und F zukommen.

Der Fokus für die Übungsstunde am Freitag den 16.11.07 soll auf den Aufgaben I bis O des Komplexes 3.2 liegen. Dabei sind insbesondere die Aufgaben I, M und O von Bedeutung.

Der Fokus für die Übungsstunde am Freitag den 9.11.07 soll auf den Aufgaben A bis H des Komplexes 3.2 liegen. Dabei sind insbesondere die Aufgaben B, G und H von Bedeutung. Falls es die Zeit erlaubt können jedoch auch noch Fragen zum Abschnitt 3.1 diskutiert werden.

Kontakt

Bei weiteren Fragen schreibt mir bitte an:
s0404888 (at) inf (dot) tu-dresden (dot) de.