Modulcode: | MS0303 |
Englische Bezeichnung: | Declarative Programming Languages |
Modulverantwortliche(r): | Prof. Dr. Michael Hanus |
Turnus: | unregelmäßig (SS07 SS09 WS10/11 WS12/13 SS14) |
Präsenzzeiten: | 4V 2Ü |
ECTS: | 8 |
Workload: | 240 Std. |
Dauer: | ein Semester |
Modulkategorien: | IG (MSc Inf) MV (MSc Inf) |
Lehrsprache: | Deutsch |
Voraussetzungen: |
In dieser Vorlesung werden Konzepte deklarativer Programmiersprachen vorgestellt. Ausgehend von dem aus dem Bachelorstudium bekannten Konzept der funktionalen Programmierung, das kurz wiederholt und eingehender erläutert wird, werden funktionale Sprachen um logische Anteile erweitert, um die Konzepte der funktionalen, logischen und integrierten logisch-funktionalen Sprachen in einem einheitlichen Rahmen darzustellen. Außerdem werden die Grundlagen der funktionalen und logischen Programmierung vorgestellt.
Nach Abschluss dieses Moduls kennen die Studierenden die Grundlagen und Struktur deklarativer Programmiersprachen. Sie können die Anwendung dieser Sprachen zur Erstellung von Softwaresystemen einschätzen.
Aufgrund der Komplexität heutiger Software-Systeme ist die Verwendung von Programmiersprachen mit einem hohen Abstraktionsniveau notwendig. Deklarative Sprachen bieten hierzu wichtige Lösungsansätze. Aufgrund ihrer deklarativen Struktur sind die Programme leichter wartbar und verifizierbar (man denke an die immer wichtiger werdenden Sicherheitsaspekte wie z.B. im Internet). In dieser Vorlesung werden Konzepte moderner deklarativer Programmiersprachen vorgestellt. Ausgehend von dem aus dem Bachelorstudium bekannten Konzept der funktionalen Programmierung, das kurz wiederholt und eingehender erläutert wird, werden funktionale Sprachen um logische Anteile erweitert, um die Konzepte der funktionalen, logischen und integrierten logisch-funktionalen Sprachen in einem einheitlichen Rahmen darzustellen. Außerdem werden die Grundlagen der funktionalen und logischen Programmierung vorgestellt.
Mündliche Abschlussprüfung am Ende der Vorlesung