Konstruktion fehlerfreier Software

Das wichtigste ist wohl die Vorlesungsmitschrift. Dank der Unfähigkeit von Windows, das ganze Dokument auf einmal zu drucken geschweige denn zu editieren (beim Ausdrucken frißt der Druckertreiber erst alle Systemressourcen auf und krepiert dann selber daran), gibt es die Mitschrift nun in drei Postscript-Dateien: Teil 1 (Seite 0-13, 950kB), Teil 2 (Seite 14-21, 550kB) und Teil 3 (Seite 22-27, 500kB). Die Mitschrift ist eine Gemeinschaftsproduktion von Josefine und mir.

Dazu gibt es dann auch noch die Übungsblätter (30kB) und natürlich die dazu passenden Lösungen zu den Übungsblättern. Ich gebe gerne zu, daß eventuell noch ein paar kleinere Fehler drin stecken. Alle Übungen kommen ebenfalls als Postscript.

• 1. Übungsblatt
  Boole'sche Algebra (vorbereitender Überblick)
• 2. Übungsblatt
  Vereinfachung Boole'scher Ausdrücke
• 3. Übungsblatt
  Werte von Variablen und Ausdrücken in einer Datenumgebung
• 4. Übungsblatt
  Zuweisungen, if-Anweisungen und Folgen als Funktionen auf Datenumgebungen.
• 5. Übungsblatt
  while-Anweisungen, Deklarationen und Löschanweisungen
• 6. Übungsblatt
  Vor- und Postbedingungen bezüglich Zuweisungen, if-Anweisungen und Folgen
• 7. Übungsblatt
  while-Schleife, Schleifeninvariante
• 8. Übungsblatt
  Semantik eines Pascal- und eines Basic-Programms
• 9. Übungsblatt
  Fortgesetzte Boole'sche Algebra. Für diesen Übungszettel müssen ganze 25 Logiktabellen ausgerechnet werden. Da ich keine Lust hatte, das ganze von Hand zu schreiben, habe ich mir einfach ein kleines Programm dafuer geschrieben. Einfach kompilieren, starten, und Formeln wie (x und y)=(y und x) eingeben.
• 21. Übungsblatt Nach einem Rechenfehler seiner Textverarbeitung
  Verifikation einer Korrektheitsaussage
• 24. übungsblatt
  Konstruktion eines Unterprogramms.
• 25. übungsblatt
  Konstruktion eines Unterprogramms.