Formale Methoden 2
VO 2 + UE 1 SS 2007 LVA 703019 + 703020
Folien und Übungszettel
21. Juni
15. Juni
8. Juni
1. Juni
- Folien
2-up pdf 4-up pdf - Übungsbeispiele
1-up pdf Lösung - Ankündigung
die Vorlesung am Freitag den 22. 6. wird auf Donnerstag den 21. 6. verschoben
Termin 21. 6. 14:15 Hörsaal HS 11 Architekturgebäude
25. Mai
18. Mai
11. Mai
4. Mai
- Folien
2-up pdf 4-up pdf - Zwischentest
27. April
20. April
- Folien (geändert am 24. 4.)
2-up pdf 4-up pdf - Übungsbeispiele
1-up pdf Lösung - Ankündigung
die nächste Übung für die Übungsgruppen 3 und 4 geplant für den 30. April wird auf den 2. Mai verschoben:
Gruppe 3: 10:15--11:00 (SR 13), Gruppe 4: 11:15--12:00 (SR 13).