Bearbeitung der Themen

Vera

Haskell, Spezifikation, Abstrakte Datentypen

Primitiv-rekursive Funktionen, Algorithmen, Graphen & Bäume, Induktion, Laufzeitbestimmung, O-Notation

Java, UML, λ-Kalkül, Vergleich Programmiersprachen, Rekursion und Endrekursivierung, Perfect Shuffle

Verifikation und Validation, Relationen