Funktionale Programmierung
LVA 185.161, VL 2.0, ECTS 3.0
BDS/W, BSI/P5, BZI/W, ZbGr
Funktionale Programmierung
(zweistündige Vorlesung mit Laborübung; angeboten regelmäßig
in Wintersemestern)
Haben Sie Interesse an einem geförderten
Auslandsstudium?
Informationen zu Fördermöglichkeiten finden Sie
hier.
Die LVA 185.161 Funktionale Programmierung wird
zur Zeit regelmäßig im Wintersemester eines Studienjahrs
angeboten.
Aktuelle Abhaltung
Zurückliegende Abhaltungen
Weitere allgemeine Informationen
Inhalt
Die Vorlesung gibt eine Einführung in die Grundlagen und Konzepte
funktionaler Programmierung. Dabei werden insbesondere die folgenden
Prinzipien funktionaler Programmierung vorgestellt und behandelt:
- Programme als Systeme rekursiver Rechenvorschriften
- Ausdrücke, Ausdrucksauswertung, Auswertungsstrategien
- Funktionen, Funktionale, Rekursion
- Datenstrukturen, Module, Ein- und Ausgabe
- Muster, Monaden, Polymorphie
- Reflektive Programmierung
- ...
und die Umsetzung dieser Konzepte in Haskell.
Ziele
Die Teilnehmer sollen einen Überblick über die wichtigsten Konzepte
funktionaler Programmiersprachen bekommen und lernen, diese Konzepte
sinnvoll einzusetzen.
Voraussetzungen
Für die Teilnahme an der Lehrveranstaltung gelten die in Abschnitt
1.6 des ab 01.10.2006
gültigen neuen
Studienplans
niedergelegten Voraussetzungen.
"Funktionale Programmierung" ist für folgende Bakkalaureatsstudien anrechenbar:
"Software & Information Engineering" (Pflichtfach, 5. Semester),
"Data Engineering & Statistics (Wahlfach) und
"Medizinische Informatik" (Wahlfach).
Vortragender
Jens Knoop.