| Nr. | Art | Termine | Raum | Veranstalter |
|---|---|---|---|---|
| 080039 | V4 | Mo 16:00 - 17:30 | LMS2 - R.Ü1 | Hanus |
| Mi 10:15 - 11:45 | LMS2 - R.Ü1 | |||
| 080036 | Ü2 | Mi 16:00-17:30 | CAP 4 - R. 915 | Hanus, Peemöller |
Montag, 25.10.2010, 16:15 Uhr, LMS2-Ü1
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.
Es gibt kein ausführliches Skript zur Vorlesung, aber einige Notizen zur Vorlesung (nur innerhalb der CAU Kiel zugreifbar!).
- Folien vom 25.10.10: Einführung (PDF)
- 8.12.10: Verwandtschaftsbeispiel (Curry-Programm)
- 8.12.10: Spiel 24 (Curry-Programm)
- 13.12.10: Reguläre Ausdrücke ((Literate) Curry-Programm)
- 26.1.11: Constraint-Löser für SEND+MORE=MONEY (Curry-Programm)
- 31.1.11: Su Doku-Löser (Curry-Programm), und hier mit einem Web-Interface
- 2.2.11: Counter GUI (Curry-Programm)
- 2.2.11: GUI mit Temperaturkonverter (Curry-Programm)
- 2.2.11: GUI mit Tischrechner (Curry-Programm)
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. Die Abgabe der Übungen soll vornehmlich über das iLearn Übungssystem erfolgen, zu dem man sich anmelden sollte.
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
- S. Antoy, M. Hanus: Functional Logic Programming, Communications of the ACM, Vol. 53, No. 4, pp. 74-85, 2010
- Armstrong et al: Concurrent Programming in Erlang, Prentice Hall, 1996