Material  zur Vorlesung

Zu Haskell

A Gentle Introduction to Haskell

Haskell  Language and Libraries

Formale Syntax  (Vorlesung vom 6.11.06, Folien von Prof. H. Schweppe)

Primitiv rekursive und μ-rekursive Funktionen  (Vorlesung vom 20.11.06, Skriptum von Prof. Ambos-Spies, Uni-Heidelberg)

Lambda-Kalkül  (Skriptum von Prof. Tobias Nipkov, TU-München)

Folien zum Lambda-Kalkül  (Vorlesungen vom 22.- 27.11.06)

Beispielprogramme aus der Vorlesung

Wurzelberechnung nach Newton (Vorlesung Montag, 30.10.2006)

Quadratische Gleichungen  (Vorlesung Montag, 4.12.2006)

Datenbank für Ausleihe (Vorlesung Montag, 4.12.2006)

Sortierverfahren (Vorlesung Montag, 11.12.2006)

einfache Textverarbeitung (Vorlesung Mittwoch, 13.12.2006), dazu Optimierung durch Marco Träger: texteditor

Einfache, arithmetische Ausdrücke (Vorlesung Montag, 17.1.2007)

Sieb des Eratosthenes und 8-Damen (Vorlesung Montag, 5.2.2007)

Input-Output (Vorlesung Mittwoch, 7.2.2007)

zuletzt geändert: 24.05.2007