Material zur Vorlesung
26.11.07 m-rekursive Funktionen (Skriptum von Prof. Ambos-Spies, Uni-Heidelberg)
28.11. - 5.12. l-Kalkül (Folien mit Kurzfassung der Vorlesungen), (Skriptum von Prof. Tobias Nipkov, TU-München)
Beispielprogramme aus der Vorlesung
15.10.2007 Erste Programmbeispiele, u.a. Parkplatzproblem
17.10.2007 Beispiel für strukturierte Programmierung Weg eines Hundes
22.10.2007 Beispiel für Iterationsverfahren Wurzelberechnung
29.10.2007 Beispiele zu Funktionale, Typvariable und Sektionen
31.10.2007 Anwendungsbeispiel zum Datentyp Int und Beispiel zum Datentyp Char
12.11.07 Beispiele zu Listen
14.11.07 Beispiele zu Typsynonymen und zur ZF-Notation
19.11.07 Ein erstes Grafiksystem (Zur Verbesserung der Darstellung im Hugs unter File in Options auf WinHugs gehen und den Editor "Courier New" einstellen.)
21.11.07 Prim- und Fibonacci-Zahlen (Zum Vergleich der Laufzeiten im Hugs unter File "Options" auswählen und unter Runtime "Print Statistics" auswählen.)
10.12.07 Eine Datenbank für die Ausleihe einer Bibliothek
17.12.07 Sortierverfahren
19.12.07 Suchverfahren und Textverarbeitung . Vereinfachte Textverarbeitung unter Verwendung zusätzlicher Parameter.
7.1.08 Erstellen eines Sachwortverzeichnisses (Index)
9.1.08 Das Klassenkonzept in Haskell
16.1.08 Polymorphe Algebraische Datentypen
21.1.08 Übersetzung einfacher, arithmetischer Ausdrücke in Stapelmaschinenprogramme
23.1.08 Fehlerbehandlung
28. und 30.1.08 Huffman-Kodierung, Modulpaket Huffman mit den Modulen Types, Sort, Coding, CodeTable, MakeTree, Frequency, CodeTree und Main
4.2.08 Interaktive Programme
6.2.08 Bibliotheksausleihe (interaktiv): Ausleihmodell, Sitzung, Main, DBausleihe
11.2.08 Das 8-Damen-Problem, Die Türme von Hanoi
Hauptseite E.Fehr
zuletzt geändert: 11.02.2008
e-mail : fehr{at}inf.fu-berlin.de