Vorlesungsverzeichnis

19501

WiSe 13/14: ALP I: Funktionale Programmierung

Margarita Esponda

Hinweise für Studierende

Homepage http://www.inf.fu-berlin.de/lehre/WS13/ALP1/

Kommentar

Inhalt: 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

29 Termine

Zusätzliche Termine

Mi, 04.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung Zwischenklausur

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs B Hörsaal/Arnim 22 (Arnimallee 22)
Gr. Hörsaal/Arnim 22 (Arnimallee 22)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Mo, 10.02.2014 10:00 - 12:00

ALP I: Funktionale Programmierung Endklausur

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Gr. Hörsaal/Arnim 22 (Arnimallee 22)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 08.04.2014 08:00 - 10:00

Nachklausur

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Regelmäßige Termine der Lehrveranstaltung

Mi, 10:00 - 12:00 ALP I: Funktionale Programmierung 15 Termine

Mi, 16.10.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 23.10.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 30.10.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 06.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 13.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 20.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 27.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 11.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 18.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 08.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 15.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 22.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 29.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 05.02.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mi, 12.02.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 10:00 - 12:00 ALP I: Funktionale Programmierung 14 Termine

Mo, 21.10.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 28.10.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 04.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 11.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 18.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 25.11.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 02.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 09.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 16.12.2013 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 06.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 13.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 20.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 27.01.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Mo, 03.02.2014 10:00 - 12:00

ALP I: Funktionale Programmierung

Dozenten:
Prof. Dr. Margarita Esponda Argüero

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

Zur Modulübersicht