Vorlesungsverzeichnis

WiSe 21/22  
 Mathematik und ...  
 Gesamtes Lehran...  
 19300001  
19300001 Vorlesung

WiSe 21/22: 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

62 Termine

Zusätzliche Termine

Mi, 02.03.2022 10:00 - 12:30
Klausur: Funktionale Programmierung

Dozenten:
Katharina Klost

Räume:
Hs A (Raum B.006, 200 Pl.) (Arnimallee 22)
Hs B (Raum B.004, 100 Pl.) (Arnimallee 22)
Gr. Hörsaal (Raum B.001) (Arnimallee 22)

Mi, 02.03.2022 10:00 - 12:30
Klausur: Funktionale Programmierung
 Mi, 02.03.2022 10:00 - 12:30
Klausur: Funktionale Programmierung
 Mi, 02.03.2022 10:00 - 12:30
Klausur: Funktionale Programmierung
 Mo, 04.04.2022 14:00 - 16:30
Klausur

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

Mo, 04.04.2022 14:00 - 16:30
Nachklausur

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

Mo, 04.04.2022 14:00 - 16:30
Nachklausur

Dozenten:
Katharina Klost

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

Mo, 04.04.2022 14:00 - 16:30
Nachklausur
 Mo, 04.04.2022 14:00 - 16:30
Klausur
 Mo, 04.04.2022 14:00 - 16:30
Nachklausur
 Do, 07.04.2022 14:30 - 16:00
Klausureinsicht Funktionale Programmierung

Dozenten:
Katharina Klost

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

Do, 07.04.2022 14:30 - 16:00
Klausureinsicht Funktionale Programmierung

Regelmäßige Termine der Lehrveranstaltung

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

Mi, 10:00 - 12:00 Funktionale Programmierung (Serientermin 1) 16 Termine
Mi, 20.10.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 27.10.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 03.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 10.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 17.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 24.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 01.12.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 08.12.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 15.12.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 05.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 12.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 19.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 26.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 02.02.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 09.02.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
 Mi, 16.02.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)
Mo, 10:00 - 12:00 Funktionale Programmierung (Serientermin 2) 15 Termine
Mo, 25.10.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

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

Dozenten:
Katharina Klost

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

Mo, 10:00 - 12:00 Funktionale Programmierung (Serientermin 2) 15 Termine
Mo, 25.10.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 01.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 08.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 15.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 22.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 29.11.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 06.12.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 13.12.2021 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 03.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 10.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 17.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 24.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 31.01.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 07.02.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)
 Mo, 14.02.2022 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Zur Modulübersicht

Ort: T9/SR 005 Übungsraum (Takustr. 9)

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

Erster Termin: 20.10.2021

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