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 | ||
| 2 | Entscheidungsprozeduren | ps pdf | ||
| 3 | Formalisierung von Wissen | ps pdf | ||
| 4 | Programmsynthese | ps pdf | ||
| 5 | Globalsuche | ps pdf | ||
| 6 | Formale Optimierung | ps pdf |
