Systematische Programmentwicklung
Wahlpflichtfach im Wintersemester 2025
Prof. Dr. H.W. Lang
Aktuelles
Skript
- Programmschleifen
- Rekursion
- Korrektheitsformeln
- Halteproblem
-
Korrektheit von If-Else-Anweisungen
- Korrektheit von While-Schleifen
Entwurf
Programmverifikation
Übungsaufgaben
- Aufgabe 1 (Programmschleifen)
- Aufgaben 2, 3, 4 (Rekursion)
- Aufgaben 5, 6, 7 (Korrektheitsformeln)
- Aufgaben 8, 9 (Korrektheit von If- und While-Anweisungen)
Literatur
H.W. Lang mail@hwlang.de Impressum Datenschutz
Diese Webseiten sind größtenteils während meiner Lehrtätigkeit an der Hochschule Flensburg entstanden