Achtung: Der in der Vorlesung/Übung bezeichnete Fehler in jAlgo im Modul Hoare-Kalkül ist beseitigt und die neue Programmversion kann genutzt werden.
1. Übung ( Postscript , pdf )
2. Übung ( Postscript , pdf )
3. Übung ( Postscript , pdf )
4. Übung ( Postscript , pdf )
5. Übung ( Postscript , pdf )
6. Übung ( Postscript , pdf )
Lösung zur Zusatzaufgabe ( Postscript , pdf )
7. Übung ( Postscript , pdf )
8. Übung ( Postscript , pdf )
Korrekturblatt zu den Lösungen der C1-Aufgaben in der Aufgabensammlung (AGS) ( Postscript , pdf )
9. Übung ( Postscript , pdf )
Lösung zur Zusatzaufgabe ( Postscript , pdf )
10. Übung ( Postscript , pdf )
11. Übung ( Postscript , pdf )
12. Übung ( Postscript , pdf )
13. Übung ( Postscript , pdf )