Lehrveranstaltung

Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8,0, Modul: MS0303; Fachgebiet: Praktische Informatik
Zeit und Ort: Di, Do 10:00 - 12:00, LMS2 - R.Ü3
vom 16.4.2009 bis zum 16.7.2009

Inhalt

Kurzfassung: 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.

Lernziele:
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.

Lehrinhalte:
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.

Prüfungsleistung:
Abschlussprüfung am Ende der Vorlesung

Empfohlene Literatur

P. Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press, 1999
S. Thompson: Haskell - The Craft of Functional Programming, Addison-Wesley, 1996
L. Sterling, E. Shapiro: The Art of Prolog, 2nd Ed., MIT Press, 1994
M. Hanus: The Integration of Functions into Logic Programming: From Theory to Practice, Journal of Logic Programming, Vol. 19,20, pp. 583-628, 1994
R. Loogen: Integration funktionaler und logischer Programmiersprachen, Oldenbourg 1995
H. Boley: A Tight, Practical Integration of Relations and Functions, Springer LNCS 1712, 1999

Zusätzliche Informationen

Erwartete Teilnehmerzahl: 25

Zugeordnete Lehrveranstaltungen

UE: Übungen zu: Deklarative Programmiersprachen (080083): Dozentinnen/Dozenten: Prof. Dr. Michael Hanus, Dipl.-Inf. Fabian Reck
Zeit und Ort: Mi 14:00 - 16:00, CAP4 - R.715



	UnivIS ist ein Produkt der Config eG, Buckenhof