Deklarative Programmiersprachen - Institut für Informatik

Deklarative Programmiersprachen
Deklarative Programmiersprachen
Prof. Dr. Michael Hanus
[email protected], Tel. 880-7271, R. 706 / CAP-4
Fabian Reck
[email protected], Tel. 880-7262, R. 701 / CAP-4
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
SS 2009
Deklarative Programmiersprachen
Übersicht
Einführung
Termine
Übungen
Prüfungsmodalitäten
Inhalt
Deklarative Programmiersprachen
Einführung
Termine
Termine
Vorlesung
Dienstag, 10:15 – 12:00 Uhr, Sem-Ü2
Donnerstag, 10:15 – 12:00 Uhr, Sem-Ü2
Übungen
Mittwoch, 14:15 - 16:00 Uhr, WSP3-Seminarraum 2
Deklarative Programmiersprachen
Einführung
Übungen
Übungsbetrieb (
Fabian Reck)
I
Anmeldung zu den Übungen:
in der Studierendendatenbank
(www.informatik.uni-kiel.de/ifi/studium-lehre/studidb/)
I
Bearbeitung und Abgabe in Zweiergruppen
I
Ausgabe der Übungsblätter: dienstag (Vorlesung)
I
Abgabe der Übungsblätter: eine Woche später
I
Besprechung und Rückgabe: in der Übungsstunde
I
Beginn der Übungen: Mittwoch, 22.4.2009
Deklarative Programmiersprachen
Einführung
Prüfungsmodalitäten
Masterprüfung:
I
mündliche Modulprüfung am Vorlesungsende
Deklarative Programmiersprachen
Einführung
Prüfungsmodalitäten
Masterprüfung:
I
mündliche Modulprüfung am Vorlesungsende
Leistungsnachweis (Diplominformatik, Nebenfächler):
I
aktive Teilnahme an den Übungen
I
mindestens 50% der Übungspunkte
I
Prüfung am Vorlesungsende
Deklarative Programmiersprachen
Einführung
Inhalt
Inhalt
Kurzübersicht:
I
Einführung
I
Funktionale Programmierung
I
Grundlagen der deklarativen Programmierung
I
Rechnen mit partieller Information: Logikprogrammierung
Praktische Übungen
Haskell, Curry (s. Übungen)
Literatur und weitere Infos:
www.informatik.uni-kiel.de/~mh/lehre/dps09/