SoSe 2014













Submodulnummer Veranstaltungsform Name LP SWS / Prüfungsdauer
0086bA.1.1.1 Vorlesung Funktionale Programmierung 0 4.0
0086bA.1.1.2 Übung Funktionale Programmierung 0 2.0
0086bA.1.1.3 Modulprüfung Funktionale Programmierung 8 0 min
Qualifikationsziele: Die Studentinnen und Studenten sind in der Lage, elementare Algorithmen funktional zu entwerfen, Anforderungen an funktionale Programme formal zu spezifizieren, gut strukturierte funktionale Programme zu entwickeln, funktionale Programme hinsichtlich ihres Aufwandes zu untersuchen und Eigenschaften funktionaler Programme formal zu beweisen. Sie haben ein grundlegendes Verständnis der Berechenbarkeit.

Inhalte: 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.