Vorlesungsverzeichnis

19300001

WiSe 14/15: Funktionale Programmierung

Klaus Kriegel

Hinweise für Studierende

Webseite:

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

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

Di, 17.02.2015 12:00 - 14:30

Klausur

Räume:
SR 005/T9 Übungsraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mi, 10:00 - 12:00 16 Termine

Mi, 15.10.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 22.10.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 29.10.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 05.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 12.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 19.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 26.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 03.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 10.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 17.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 07.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 14.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 21.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 28.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 04.02.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mi, 11.02.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 10:00 - 12:00 15 Termine

Mo, 20.10.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 27.10.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 03.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 10.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 17.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 24.11.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 01.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 08.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 15.12.2014 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 05.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 12.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 19.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 26.01.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 02.02.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Mo, 09.02.2015 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel

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

Unterrichtssprache: Deutsch

SWS: 4

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Module zu dieser LV: