19300001 Vorlesung

WiSe 19/20: Funktionale Programmierung

Margarita Esponda Argüero

Zusätzl. Angaben / Voraussetzungen

Übung siehe 19300004

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

So, 10.11.2019 17:00 - 19:00

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 11.11.2019 19:00 - 20:00

Dozenten:
Prof. Margarita Esponda-Argüero

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

Fr, 13.12.2019 08:00 - 10:00
Zwischenklausur

Dozenten:
Prof. Margarita Esponda-Argüero

Räume:
Gr. Hörsaal (Raum B.001) (Arnimallee 22)

Di, 07.01.2020 08:00 - 10:00
Klausureinsicht

Dozenten:
Prof. Margarita Esponda-Argüero

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

Di, 18.02.2020 08:00 - 10:00
Klausur

Dozenten:
Prof. Margarita Esponda-Argüero

Räume:
Gr. Hörsaal (Raum B.001) (Arnimallee 22)
T9/Gr. Hörsaal (Takustr. 9)

Di, 03.03.2020 08:00 - 10:00
Klausureinsicht: Funktionale Programmierung

Dozenten:
Prof. Margarita Esponda-Argüero

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

Di, 07.04.2020 10:00 - 12:00
Nachklausur

Dozenten:
Prof. Margarita Esponda-Argüero

Räume:
Gr. Hörsaal (Raum B.001) (Arnimallee 22)

Di, 28.07.2020 08:00 - 11:30
Nachklausur

Dozenten:
Prof. Margarita Esponda-Argüero

Räume:
Virtueller Raum 01

Regelmäßige Termine der Lehrveranstaltung

Mi, 16.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 23.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 30.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 06.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 13.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 20.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 27.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 04.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 11.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 18.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 08.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 15.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 22.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 29.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 05.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mi, 12.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 2)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 21.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 28.10.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 04.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 11.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 18.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 25.11.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 02.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 09.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 16.12.2019 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 06.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 13.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 20.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 27.01.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 03.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Mo, 10.02.2020 10:00 - 12:00
Funktionale Programmierung (Serientermin 1)

Dozenten:
Prof. Margarita Esponda-Argüero

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

Studienfächer A-Z