| Nr. | Art | Termine | Raum | Veranstalter |
|---|---|---|---|---|
| 080088 | V4 | Di 10:15 - 12:00 | LMS2 - R.Ü2 | Hanus |
| Do 10:15 - 12:00 | LMS2 - R.Ü2 | |||
| 080083 | Ü2 | Mi 14:15-15:45 | CAP4 - Raum 715 | Hanus, Reck |
Donnerstag, 16.4.2009, 10:15 Uhr, Sem-Ü2
Studierende im Hauptstudium des Studiengangs Diplominformatik und des Masterstudiengangs Informatik sowie Studierende mit Nebenfach Informatik
Grundstudium (1.-4. Semester) in Informatik
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 Grundstudium 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.
Die mündliche Prüfung zur Vorlesung findet am Montag, 27.7.2009 im Raum 706 (CAP4) statt. Die genauen Zeiten werden individuell vereinbart.
In den begleitenden Übungen werden für praktische Programmieraufgaben die Sprachen Haskell und Curry eingesetzt, für die es frei verfügbare Implementierungen für Unix- und Linux-Systeme gibt. Informationen zu den Übungen und zur Benutzung von Haskell und Curry kann man hier finden.
Weitere Literatur wird in der Vorlesung bekanntgegeben.
- 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
- Armstrong et al: Concurrent Programming in Erlang, Prentice Hall, 1996