19549a Übung

SoSe 14: ProInformatik II: Funktionale Programmierung

Margarita Esponda Argüero

Kommentar

Inhalt

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 

Grundlagen der Berechenbarkeit: 

  • Lambda-Kalkül 
  • primitive Rekursion 
  • µ-Rekursion

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, Third Edition, Addison-Wesley, 2011.
  • 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

Studienfächer A-Z