Bearbeitung der Themen
Vera
Haskell, Spezifikation, Abstrakte Datentypen
Bettina
Primitiv-rekursive Funktionen, Algorithmen, Graphen & Bäume, Induktion, Laufzeitbestimmung, O-Notation
Tilman
Java, UML, λ-Kalkül, Vergleich Programmiersprachen, Rekursion und Endrekursivierung, Perfect Shuffle
Es fehlen noch...
Verifikation und Validation, Relationen