Automatisierte Logik und Programmierung
Universität Potsdam, Wintersemester 2003/2004


Übungsaufgaben werden als PS und PDF Version bereitgestellt.
Sie werden am angegebenen Termin in der Übungsstunde besprochen.

Übung 1, 27.04.04   ML & Taktiken
PS PDF
Übung 2, 18.05.04   Entscheidungsprozeduren
PS PDF
Übung 3, 15.06.04   Spezifikation und Synthese (mit Musterlösung)
PS PDF
Übung 4, 29.06.04   Schematische Synthese von Algorithmen
PS PDF
Übung 5, 13.07.04   Synthese von Globalsuchalgorithmen
PS PDF
Übung 6   Fragen zur Selbstkontrolle
PS PDF


This page is still under construction.