WiSe 17/18: Funktionale Programmierung
Margarita Esponda Argüero
Kommentar
Grundlagen der Berechenbarkeit:
- Lambda-Kalkül
- primitive Rekursion
- µ-Rekursion
Einführung in die Funktionale Programmierung (Haskell):
- Syntax (Backus-Naur-Form)
- 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
Beweisen von Programmeigenschaften:
- Termersetzung
- strukturelle Induktion
- Terminierung
Implementierung und Programmiertechnik:
- Auswertungsstrategien für funktionale Programme
- Modularer Programmentwurf
Literaturhinweise
- Simon Thompson: Haskell: The Craft of Functional Programming, 2nd Edition, Addison-Wesley, 1999
- Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
- Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982
- Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag 1978
31 Termine
Zusätzliche Termine
Mi, 06.12.2017 10:00 - 12:00
Räume:
HFB/B Hörsaal (Garystr. 35-37)
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Räume:
HFB/A Hörsaal (Garystr. 35-37)
HFB/B Hörsaal (Garystr. 35-37)
HFB/C Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)
Räume:
HFB/A Hörsaal (Garystr. 35-37)
HFB/B Hörsaal (Garystr. 35-37)
Regelmäßige Termine der Lehrveranstaltung