19300001
Vorlesung
WiSe 19/20: Funktionale Programmierung
Margarita Esponda Argüero
Zusätzl. Angaben / Voraussetzungen
Übung siehe 19300004
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
_
SchließenLiteraturhinweise
- 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
So, 10.11.2019 17:00 - 19:00 Mo, 11.11.2019 19:00 - 20:00 Fr, 13.12.2019 08:00 - 10:00Zwischenklausur
Di, 07.01.2020 08:00 - 10:00
Klausureinsicht
Di, 18.02.2020 08:00 - 10:00
Klausur
Di, 03.03.2020 08:00 - 10:00
Klausureinsicht: Funktionale Programmierung
Di, 07.04.2020 10:00 - 12:00
Nachklausur
Di, 28.07.2020 08:00 - 11:30
Nachklausur
Regelmäßige Termine der Lehrveranstaltung
Mi, 16.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 23.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 30.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 06.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 13.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 20.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 27.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 04.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 11.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 18.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 08.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 15.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 22.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 29.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 05.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mi, 12.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
Mo, 21.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 28.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 04.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 11.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 18.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 25.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 02.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 09.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 16.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 06.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 13.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 20.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 27.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 03.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 10.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)