Funktionale Programmierung
- 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.
(19300001 + 19300004)
| Typ | VL/Ü |
|---|---|
| Dozent/in | Raúl Rojas |
| Institution | Dahlem Center for Machine Learning and Robotics |
| Anmeldemodalität | |
| Beginn | 17.10.2018 | 10:00 |
| Ende | 13.02.2019 | 12:00 |
| Zeit | VL: Montags und mittwochs, 10-12 Uhr, Hörsaal der Takustr. 9 Übungsgruppen:
|