Übungsblätter

1. Blatt 1: Grundlegende Begriffe
    Übungsblatt     Lösungsblatt
2. Blatt 2: Anforderungsspezifikation und Datenmodellierung
    Übungsblatt     Lösungsblatt
3. Blatt 3: Datenmodellierung und algebraische Speifikation
    Übungsblatt     Lösungsblatt
4. Blatt 4: Mengen, Algebren und Beweise
    Übungsblatt     Lösungsblatt
5. Blatt 5: Homomorphismen und algbraische Spezifikation
    Übungsblatt     Lösungsblatt
6. Blatt 6: Induktion und Sprachen
    Übungsblatt     Lösungsblatt
7. Blatt 7: Daten- und Fehlermodellierung
    Übungsblatt     Lösungsblatt
8. Blatt 8: Fehlermodellierung und Funktionen
    Übungsblatt     Lösungsblatt
9. Blatt 9: Funktionen höherer Stufe und Rekursion
    Übungsblatt     Lösungsblatt
10. Blatt 10: Programme
     Übungsblatt     Lösungsblatt

Ergänzungen

• Zusicherungen
   Folien