Patrick Bahr Associate Professor, IT University of Copenhagen

Vorlesung

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

Meine Übungen

  • Dienstags 1.DS im SCH/A184
Übungsaufgaben & Lösungen

Aktuelle Hinweise

In der nächsten und letzten Übungsstunde sollen die Aufgaben des Komplexes 4.3 diskutiert werden. Von besonderem Interesse sind dabei die Aufgaben G und H. Notwendig wird für die Übung sein, dass ihr die Aufgaben A bis D vorbereitet, um die Funktionsweise von Interpretationen in der Prädikatenlogik zu verstehen.

Weniger aktuelle Hinweise

Kontakt

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