Home
Kontakt
Impressum
Institut für Informatik
Prof. Dr. Margarita Esponda
Algorithmen und Programmierung I
Funktionale Programmierung
Allgemein
Inhalt
Vorlesungen
Übungen
Literatur
Links
Wichtiges
News
Inhalt
Einführung in die Funktionale Programmierung (Haskell):
primitive Datentypen, Listen, Tupel, Zeichenketten
Ausdrücke, Funktionsdefinitionen, Rekursion und Iteration
Funktionen höherer Ordnung, Polymorphie
Typsystem, Typherleitung und –überprüfung
Algebraische und abstrakte Datentypen
Ein- und Ausgabe
Such- und Sortieralgorithmen
Grundlagen der Berechenbarkeit:
Lambda-Kalkül
primitive Rekursion
μ-Rekursion
Beweisen von Programmeigenschaften:
Termersetzung
strukturelle Induktion
Terminierung
Implementierung und Programmiertechnik:
Auswertungsstrategien für funktionale Programme
Modularer Programmentwurf