TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

Vorlesung | Wintersemester 2007/08
Grundlagen der Programm- und Systementwicklung
Prof. Dr. Manfred Broy

Den Schein über die erfolgreiche Teilnahme an der Vorlesung und den Übungen zur Vorlesung erhalten Sie mit dem Bestehen der Semestralklausur oder der mündlichen Prüfung.

Übungsblätter

1. Blatt 1: Grundlegende Begriffe
   Musterlösung:
2. Blatt 2: Signaturen, Rechenstrukturen Dateien zum Übungsblatt 2
   Musterlösung:
3. Blatt 3: Datenmodellierung, Algebraische Spezifikation
   Musterlösung:
4. Blatt 4: Homomorphismen, Induktiver Aufbau von Mengen
   Musterlösung:
5. Blatt 5: Homomorphismen, Algebraische Spezifikation, Noethersche Induktion
   Musterlösung:
6. Blatt 6: Induktionsbeweise, Terme als formale Sprachen
   Musterlösung:
7. Blatt 7: Datenmodellierung, Fehlermodellierung
   Musterlösung:
8. Blatt 8: Funktionale Progammierung, Nichtstrikte Funktionen, Monotonie und Stetigkeit
   Musterlösung:
9. Blatt 9: Funktionen höherer Ordnung, Rekursive Funktionen (Terminierung und Fixpunkt)
   Musterlösung
10. Blatt 10: Funktionen höherer Ordnung, Rekursive Funktionen (Terminierung und Fixpunkt)
    Musterlösung
11. Blatt 11: Imperative Programme, Weakest Precondition
    Musterlösung
12. Blatt 12: Weakest Liberal Precondition, Terminierrung
    Musterlösung