Automatisierte Logik und Programmierung II Universität Potsdam, Sommersemester 2006

Die Übungsaufgaben liegen jeweils zweiwöchentlich vor der Veranstaltung auf diesem Server bereit. Die Aufgaben werden in den Übungen besprochen.

Die Lösungen sind vorerst nicht auf Tippfehler durchgesehen und können auch kleinere Inkonsistenzen enthalten, da ich manche Änderung noch nicht eingearbeitet habe.

Übungsblätter

Nr. Thema Download Lösung
1 Taktiken und ML ps pdf  pdf 
2 Entscheidungsprozeduren ps pdf  pdf 
3 Formalisierung von Wissen ps pdf  pdf 
4 Programmsynthese ps pdf  pdf 
5 Globalsuche ps pdf  pdf 
6 Formale Optimierung ps pdf  pdf 
Datenschutzerklärung · XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  17.07.2006