Course catalog

19501

WiSe 13/14: ALP I: Funktionale Programmierung

Margarita Esponda

Information for students

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

Comments

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 close

Suggested reading

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 close

29 Class schedule

Additional appointments

Wed, 2013-12-04 10:00 - 12:00

ALP I: Funktionale Programmierung Zwischenklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-02-10 10:00 - 12:00

ALP I: Funktionale Programmierung Endklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Tue, 2014-04-08 08:00 - 10:00

Nachklausur

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Regular appointments

Wed, 10:00 - 12:00 ALP I: Funktionale Programmierung 15 Class schedule

Wed, 2013-10-16 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-10-23 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-10-30 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-11-06 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-11-13 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-11-20 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-11-27 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-12-11 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2013-12-18 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-01-08 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-01-15 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-01-22 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-01-29 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-02-05 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Wed, 2014-02-12 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 10:00 - 12:00 ALP I: Funktionale Programmierung 14 Class schedule

Mon, 2013-10-21 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-10-28 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-11-04 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-11-11 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-11-18 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-11-25 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-12-02 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-12-09 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2013-12-16 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-01-06 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-01-13 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-01-20 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-01-27 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Mon, 2014-02-03 10:00 - 12:00

ALP I: Funktionale Programmierung

Lecturers:
Prof. Dr. Margarita Esponda Argüero

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

Back to list of modules

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

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

Class starts on: 2013-10-16

Course language: German

Contact hours: 4

Limited attendance: No

Attendance required: No

Modules where this course belongs: