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	Prädikatenlogik	ps pdf	ps pdf
2	Refinement Logic	ps pdf	ps pdf
3	Lambda-Kalkül	ps pdf	ps pdf
4	Einfache Typentheorie	ps pdf	ps pdf
5	Systematischer Aufbau formaler Theorien	ps pdf	ps pdf
6	Programmsynthese und Rekursion	ps pdf	ps pdf