Deklarative Programmiersprachen - Institut für Informatik

Deklarative Programmiersprachen
Deklarative Programmiersprachen
Prof. Dr. Michael Hanus
[email protected], Tel. 880-7271, R. 706 / CAP-4
Jan Rasmus Tikovsky
[email protected], Tel. 880-7263, R. 702 / CAP-4
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
SS 2014
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, 10:15 – 11:45 Uhr, LMS2-Ü1
Übungen
Donnerstag, 8:30 – 10:00 Uhr, LMS2-Ü1
Deklarative Programmiersprachen
Einführung
Übungen
Übungsbetrieb (
Jan Tikovsky)
I
Anmeldung zu den Übungen:
in der Studierendendatenbank
(www.informatik.uni-kiel.de/ifi/studium-lehre/studidb/)
und im iLearn-Übungssystem
(https://ilearn.ps.informatik.uni-kiel.de/public/courses/72)
I
Bearbeitung und Abgabe in Zweiergruppen
I
Ausgabe der Übungsblätter: Dienstag
I
Abgabe der Übungsblätter: eine Woche später
I
Besprechung und Rückgabe: in der Übungsstunde
I
Beginn der Übungen: Donnerstag, 24.4.2014
Deklarative Programmiersprachen
Einführung
Prüfungsmodalitäten
Modulprüfung:
I
mündliche Modulprüfung am Vorlesungsende
Deklarative Programmiersprachen
Einführung
Prüfungsmodalitäten
Modulprü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
Modulprü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/dps14/