WiSe 2016/17













Submodulnummer Veranstaltungsform Name LP SWS / Prüfungsdauer
0496aA.5.3.1 Vorlesung Computer Science and Functional Programming A 0 4.0
0496aA.5.3.2 Übung Computer Science and Functional Programming A 0 2.0
0496aA.5.3.3 Seminar Computer Science and Functional Programming A 0 2.0
0496aA.5.3.4 Modulprüfung Computer Science and Functional Programming A 15 90 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, funktio- nale 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 (Syntax, 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 Pro- grammeigenschaften (Termersetzung, strukturelle Induktion, Terminierung). Implementierung und Programmier- technik (Auswertungsstrategien für funktionale Programme, modularer Programmentwurf).