Website
Modulhandbuch vor WS 2014/15

Modul CS4132

Funktionale Programmierung (vor 2014) (FunktPr)

Dauer:


1 Semester
Angebotsturnus:


Wird nicht mehr angeboten
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Programmierung, 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • Funktionale Programmierung (Übung, 1 SWS)
  • Funktionale Programmierung (Vorlesung, 2 SWS)
Workload:
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 45 Stunden Präsenzstudium
  • 15 Stunden Prüfungsvorbereitung
Lehrinhalte:
  • Funktionale Programmiersprachen im Überblick
  • Elemente der funktionalen Programmierung
  • Rekursive Datenstrukturen
  • Eigenschaften funktionaler Programme
  • Transformation funktionaler Programme
  • Abstraktion und Modularisierung
  • Auswertung funktionaler Programme
  • Implementierung funktionaler Programme
  • Anwendungen funktionaler Programmierung
  • Funktionale Ein- und Ausgabe
  • Lambda-Kalkül und Funktionen höherer Ordnung
Qualifikationsziele/Kompetenzen:
  • Kenntnis einer funktionalen Programmiersprache (SML, Haskell)
  • Vertrautheit mit den Methoden der funktionalen Programmierung
  • Kenntnis wichtiger Ausführungsmodelle funktionaler Programmiersprachen
  • Fähigkeit, wohlstrukturierte funktionale Programme für komplexe Aufgaben zu erstellen
  • Einsicht in die Zusammenhänge zwischen funktionaler und imperative Programmierung
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • R. Bird: An Introduction to Functional Programming using Haskell - Prentice Hall 1998
  • P. Pepper: Funktionale Programmierung in Opal, ML, Haskell und Gofer - Springer, 1999
  • M. Erwig: Grundlagen funktionaler Programmierung - Oldenbourg, 1999
  • L.C. Paulson: ML for the Working Programmer - Cambridge University Press 1996
  • P. Thiemann: Grundlagen der funktionalen Programmierung - Teubner 1994
  • M. Hansen, H. Rischel: Introduction to Programming Using SML - Addison Wesley 1999
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF

Modulhandbuch Master Informatik