19305601
Vorlesung
WiSe 23/24: Funktionale Programmierung
Katharina Klost
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
32 Termine
Zusätzliche Termine
Mi, 21.02.2024 10:00 - 13:00Klausur
Mo, 04.03.2024 10:30 - 12:30
Klausureinsicht
Mi, 10.04.2024 10:00 - 13:00
Nachklausur
Mi, 10.04.2024 10:00 - 13:00
Nachklausur Funktionale Programmierung
Räume:
T9/SR 005 Übungsraum (Takustr. 9)
Regelmäßige Termine der Lehrveranstaltung
Mi, 18.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 25.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 01.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 08.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 15.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 22.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 29.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 06.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 13.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 20.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 10.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 17.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 24.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 31.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 07.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Mi, 14.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)
Fr, 20.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 27.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 03.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 10.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 17.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 24.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 01.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 08.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 15.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 22.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 12.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 19.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 26.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 02.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 09.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)
Fr, 16.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)