Vorlesungsverzeichnis

19501

WiSe 12/13: ALP I: Funktionale Programmierung

Margarita Esponda

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 Literatur 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 Homepage http://www.inf.fu-berlin.de/lehre/WS12/ALP1/ Schließen

32 Termine

Regelmäßige Termine der Lehrveranstaltung

Mo, 10:00 - 12:00 16 Termine

Mo, 15.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 22.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 29.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 05.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 12.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 19.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 26.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 03.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 10.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 17.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 07.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 14.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 21.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 28.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 04.02.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mo, 11.02.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 10:00 - 12:00 16 Termine

Mi, 17.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 24.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 31.10.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 07.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 14.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 21.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 28.11.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 05.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 12.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 19.12.2012 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 09.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 16.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 23.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 30.01.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 06.02.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Mi, 13.02.2013 10:00 - 12:00

Dozenten:
Prof. Dr. Margarita Esponda Argüero

Räume:
Hs 028 Hörsaal (Takustr. 9)

Zur Modulübersicht