Vorlesungsverzeichnis

WiSe 22/23  
 Mathematik und ...  
 Computational S...  
 19300001  
19300001 Vorlesung

WiSe 22/23: 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
Schließen

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
Schließen

31 Termine

Zusätzliche Termine

Di, 21.02.2023 10:00 - 13:00
Klausur

Dozenten:
Katharina Klost

Räume:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)

Fr, 03.03.2023 10:00 - 12:00
Klausureinsicht

Dozenten:
Katharina Klost

Räume:
T9/049 Seminarraum (Takustr. 9)

Di, 14.03.2023 14:00 - 16:00
Klausureinsicht

Dozenten:
Katharina Klost

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Do, 06.04.2023 14:00 - 16:30
Nachklausur

Dozenten:
Katharina Klost

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Do, 06.04.2023 14:00 - 16:30
Nachklausur

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mi, 10:00 - 12:00 Funktionale Programmierung (Serientermin 1) 16 Termine
Mi, 19.10.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 26.10.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 02.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 09.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 16.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 23.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 30.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 07.12.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 14.12.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 04.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 11.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 18.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 25.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 01.02.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 08.02.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mi, 15.02.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 10:00 - 12:00 Funktionale Programmierung (Serientermin 2) 15 Termine
Mo, 24.10.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 31.10.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 07.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 14.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 21.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 28.11.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 05.12.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 12.12.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 02.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 09.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 16.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 23.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 30.01.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 06.02.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Mo, 13.02.2023 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Zur Modulübersicht

Ort: T9/Gr. Hörsaal (Takustr. 9)

Zeit: Mo 10:00-12:00, Mi 10:00-12:00, zusätzliche Termine siehe LV-Details

Erster Termin: 19.10.2022

Unterrichtssprache: Deutsch

SWS: 4

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Fachsemester: 1

Module zu dieser LV:
0086bA1.1
0086cA1.1
0087cA1.1
0087dA1.1
0088cA1.1
0396bB3.2
0496aA5.3
0496aB1.6
0521aA6.1
E24nA1.1

Studienfächer A-Z