19300001
Vorlesung
WiSe 20/21: 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
30 Termine
Zusätzliche Termine
Do, 04.03.2021 08:00 - 10:00Klausur
Do, 08.04.2021 08:00 - 10:00
Nachklausur
Do, 15.04.2021 08:00 - 10:00
Regelmäßige Termine der Lehrveranstaltung
Di, 03.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 10.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 17.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 24.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 01.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 08.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 15.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 05.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 12.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 19.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 26.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 02.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 09.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 16.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Di, 23.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Do, 05.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 12.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 19.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 26.11.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 03.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 10.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 17.12.2020 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 07.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 14.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 21.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 28.01.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 04.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 11.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 18.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Do, 25.02.2021 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)