Deklarative Programmiersprachen - Institut für Informatik

Deklarative Programmiersprachen
Deklarative Programmiersprachen
Prof. Dr. Michael Hanus
[email protected], Tel. 880-7271, R. 706 / CAP-4
Björn Peemöller
[email protected], Tel. 880-7262, R. 701 / CAP-4
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
WS 2012/2013
Deklarative Programmiersprachen
Übersicht
Einführung
Termine
Übungen
Prüfungsmodalitäten
Inhalt
Deklarative Programmiersprachen
Einführung
Termine
Termine
Vorlesung
Dienstag, 10:15 – 11:45 Uhr, LMS2-Ü1
Donnerstag, 12:15 – 13:45 Uhr, LMS2-Ü1
Übungen
Mittwoch, 14:15 – 15:45 Uhr, CAP4-R.1304b
Deklarative Programmiersprachen
Einführung
Übungen
Übungsbetrieb (
Björn Peemöller)
I
Anmeldung zu den Übungen:
in der Studierendendatenbank
(www.informatik.uni-kiel.de/ifi/studium-lehre/studidb/)
und im iLearn-Übungssystem
(https://www-ps.informatik.uni-kiel.de/iLearn/)
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, 31.10.2012
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
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
Voraussetzungen:
I
Fortgeschrittene Programmierung
Deklarative Programmiersprachen
Einführung
Inhalt
Inhalt
Kurzübersicht:
I
Einführung
I
Funktionale Programmierung (Strategien, Typsysteme)
I
Grundlagen der deklarativen Programmierung
I
Rechnen mit partieller Information: Logikprogrammierung
I
Funktional-logische Programmierung
Praktische Übungen
Haskell, Curry (s. Übungen)
Literatur und weitere Infos:
www.informatik.uni-kiel.de/~mh/lehre/dps12/