Deklarative Programmiersprachen - Institut für Informatik
Werbung
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/
