Modul: Deklarative Programmierung (Auslaufend)

Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.

INF-2071: Deklarative Programmierung (Auslaufend)

Anzahl der Leistungspunkte (LP):
6 LP

Modulart (Pflicht- oder Wahlpflichtmodul):	Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:	Qualifikationsziele Die Studierenden haben ein breites und integriertes Wissen und Verstehen der wissenschaftlichen Grundlagen auf dem Gebiet der Deklarativen Programmierung nachgewiesen. Die Studierenden verfügen über ein kritisches Verständnis der wichtigsten Theorien, Prinzipien und Methoden auf dem Gebiet der Deklarativen Programmierung und sind in der Lage ihr Wissen vertikal, horizontal und lateral zu vertiefen. Das Wissen und Verstehen der Studierenden entspricht dem Stand der Fachliteratur und schließt einige vertiefte Wissensbestände auf dem aktuellen Stand der Forschung auf dem Gebiet ein. Die Studierenden sind in der Lage ihr Wissen und Verstehen auf ihre Tätigkeit oder ihren Beruf anzuwenden und Problemlösungen und Argumente auf dem Gebiet der Deklarativen Programmierung zu erarbeiten und weiterzuentwickeln. Inhalt Die Lehrveranstaltung führt in die Grundlagen alternativer Paradigmen zur Deklarativen Programmierung ein. Ausgehend von prototypischen Anwendungen werden Syntax und Semantik sowie die jeweilige Programmiermethodik vorgestellt sowie ausgewählte Implementierungstechniken besprochen. Einführung, logische Programmierung, funktionale Programmierung, Constraint-Programmierung, Modellgetriebene Programmierung, Agentenorientierte Programmierung. Programmier- und Studienprojekte zur Deklarativen Programmierung.
Modul(teil)prüfung (Anzahl, Form, Umfang, Arbeitsaufwand in LP):	Klausur, 90 Minuten
Selbstlernzeit (in Zeitstunden (h)):	90

Veranstaltungen (Lehrformen)	Kontaktzeit (in SWS)	Prüfungsnebenleistungen (Anzahl, Form, Umfang)		Lehrveranstaltungsbegleitende Modul(teil)prüfung (Anzahl, Form, Umfang)
Veranstaltungen (Lehrformen)	Kontaktzeit (in SWS)	Für den Abschluss des Moduls	Für die Zulassung zur Modulprüfung
Vorlesung (Vorlesung)	2	-	-	-
Übung (Übung)	2	-	-	-
Seminar (Seminar)	1	Vortrag	-	-
Praktikum (Praktikum)	1	Testate	-	-


Häufigkeit des Angebots:	alle zwei Jahre
Voraussetzung für die Teilnahme am Modul:	keine
Anbietende Lehreinheit(en):	Informatik

Zuordnung zu Studiengängen	Modulart
Bachelor of Education Informatik - Sekundarst. I und II WiSe 2013/14	Wahlpflichtmodul