19501
Lecture
WiSe 12/13: ALP I: Funktionale Programmierung
Margarita Esponda
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 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/ close
32 Class schedule
Regular appointments
Mon, 2012-10-15 10:00 - 12:00
Mon, 2012-10-22 10:00 - 12:00
Mon, 2012-10-29 10:00 - 12:00
Mon, 2012-11-05 10:00 - 12:00
Mon, 2012-11-12 10:00 - 12:00
Mon, 2012-11-19 10:00 - 12:00
Mon, 2012-11-26 10:00 - 12:00
Mon, 2012-12-03 10:00 - 12:00
Mon, 2012-12-10 10:00 - 12:00
Mon, 2012-12-17 10:00 - 12:00
Mon, 2013-01-07 10:00 - 12:00
Mon, 2013-01-14 10:00 - 12:00
Mon, 2013-01-21 10:00 - 12:00
Mon, 2013-01-28 10:00 - 12:00
Mon, 2013-02-04 10:00 - 12:00
Mon, 2013-02-11 10:00 - 12:00
Wed, 2012-10-17 10:00 - 12:00
Wed, 2012-10-24 10:00 - 12:00
Wed, 2012-10-31 10:00 - 12:00
Wed, 2012-11-07 10:00 - 12:00
Wed, 2012-11-14 10:00 - 12:00
Wed, 2012-11-21 10:00 - 12:00
Wed, 2012-11-28 10:00 - 12:00
Wed, 2012-12-05 10:00 - 12:00
Wed, 2012-12-12 10:00 - 12:00
Wed, 2012-12-19 10:00 - 12:00
Wed, 2013-01-09 10:00 - 12:00
Wed, 2013-01-16 10:00 - 12:00
Wed, 2013-01-23 10:00 - 12:00
Wed, 2013-01-30 10:00 - 12:00
Wed, 2013-02-06 10:00 - 12:00
Wed, 2013-02-13 10:00 - 12:00