Vorlesungsverzeichnis

WiSe 23/24  
 Mathematik und ...  
 Gesamtes Lehran...  
 19305601  
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
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

32 Termine

Zusätzliche Termine

Mi, 21.02.2024 10:00 - 13:00
Klausur

Dozenten:
Katharina Klost

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

Mo, 04.03.2024 10:30 - 12:30
Klausureinsicht

Dozenten:
Katharina Klost

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

Mi, 10.04.2024 10:00 - 13:00
Nachklausur

Dozenten:
Katharina Klost

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

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, 08:00 - 10:00 Funktionale Programmierung (Serientermin 2) 16 Termine
Mi, 18.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 25.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 01.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 08.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 15.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 22.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 29.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 06.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 13.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 20.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 10.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 17.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 24.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 31.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 07.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Mi, 14.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Katharina Klost

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

Fr, 08:00 - 10:00 Funktionale Programmierung (Serientermin 1) 16 Termine
Fr, 20.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 27.10.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 03.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 10.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 17.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 24.11.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 01.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 08.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 15.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 22.12.2023 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 12.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 19.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 26.01.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 02.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 09.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Fr, 16.02.2024 08:00 - 10:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Katharina Klost

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

Zur Modulübersicht

Suche starten
Der Suchbegriff muss mindestens 3 Zeichen lang sein!

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

Zeit: Mi 08:00-10:00, Fr 08:00-10:00, zusätzliche Termine siehe LV-Details

Erster Termin: 18.10.2023

Unterrichtssprache: Deutsch

SWS: 4

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Fachsemester: 1

Module zu dieser LV

Information zum Mutterschutz

Studienfächer A-Z