Vorlesungsverzeichnis

19300001

WiSe 15/16: Funktionale Programmierung

Margarita Esponda Argüero

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

30 Termine

Zusätzliche Termine

Do, 14.01.2016 16:00 - 18:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
1.3.14 Hörsaal A (Arnimallee 14)

Mi, 10.02.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 15.02.2016 10:00 - 12:00

Klausur

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
HFB/B Hörsaal (Garystr. 35-37)
HFB/C Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)

Di, 23.02.2016 08:00 - 10:00

Klausureinsicht

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 04.04.2016 08:00 - 10:00

Nachklausur

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 001/A3 Hörsaal (Arnimallee 3-5)
SR 006/T9 Seminarraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 12.04.2016 08:00 - 10:00

Klausureinsiht

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 18.04.2016 08:00 - 09:00

Regelmäßige Termine der Lehrveranstaltung

Mi, 10:00 - 12:00 15 Termine

Mi, 14.10.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 21.10.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 28.10.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 04.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 11.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 18.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 25.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 02.12.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 09.12.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 16.12.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 06.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 13.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 20.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 27.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mi, 03.02.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 10:00 - 12:00 15 Termine

Mo, 19.10.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 26.10.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 02.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 09.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 16.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 23.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 30.11.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 07.12.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 14.12.2015 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 04.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 11.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 18.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 25.01.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 01.02.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 08.02.2016 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Zur Modulübersicht

Ort: Gr. Hörsaal\Taku 9 (Takustr. 9)

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

Erster Termin: 14.10.2015

Unterrichtssprache: Deutsch

SWS: 4

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Module zu dieser LV: