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