Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Modul: Deklarative Modellierung


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-8072: Deklarative Modellierung Anzahl der Leistungspunkte (LP):
6 LP
Modulart (Pflicht- oder Wahlpflichtmodul): Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:

Inhalte

Deklarative Problemlösungsverfahren verwenden allgemeine Problemlösungsmethoden zur automatischen Lösung kombinatorischer (Optimierungs)probleme. Im Gegensatz zur traditionellen Programmierung werden keine Programme zur Lösung erstellt, sondern lediglich die Ausgangsprobleme (formal) modelliert. Allgemeine Problemlösungssysteme sind heutzutage in der Lage Probleme in der Größenordnung mehrerer Millionen Variablen zu lösen. Die resultierenden Systeme werden mittlerweile in der Industrie aber auch den Naturwissenschaften vielerorts eingesetzt. Die Lehrveranstaltung widmet sich der Anwendung deklarativer Problemlösungsverfahren (insbesondere zur Lösung naturwissenschaftlicher Problemstellungen) im Rahmen von Modellierungs- und Implementierungsprojekten. 

 

Qualifikationsziele

Die Studierenden

  • sind in der Lage, die Besonderheiten, Grenzen, Terminologien und Lehrmeinungen auf dem Gebiet der Deklarativen Modellierung zu definieren und zu interpretieren.  Das Wissen und Verstehen der Studierenden bildet die Grundlage für die Entwicklung und/oder Anwendung eigenständiger Ideen auf dem Gebiet der Deklarativen Modellierung in forschungsorientierter Hinsicht.
  • verfügen über ein breites, detailliertes und kritisches Verständnis auf dem neuesten Stand des Wissens in ausgewählten Spezialbereichen auf dem Gebiet der Deklarativen Modellierung
  • sind in der Lage ihr Wissen und Verstehen sowie ihre Fähigkeiten zur Problemlösung auch in neuen und unvertrauten Situationen anzuwenden, die in einem breiteren oder multidisziplinären Zusammenhang auf dem Gebiet der Deklarativen Modellierung stehen. 
Modul(teil)prüfung (Anzahl, Form, Umfang, Arbeitsaufwand in LP):

Mündliche Prüfung, 30 Minuten

Selbstlernzeit (in Zeitstunden (h)): 120

Veranstaltungen
(Lehrformen)
Kontaktzeit
(in SWS)
Prüfungsnebenleistungen
(Anzahl, Form, Umfang)
Lehrveranstaltungsbegleitende Modul(teil)prüfung
(Anzahl, Form, Umfang)
Für den Abschluss des Moduls Für die Zulassung zur Modulprüfung
Vorlesung und Praktikum (Vorlesung und Praktikum) 4

Testat (ca. 45-60 Min.) (50 %)

- -

Häufigkeit des Angebots:

SoSe

Voraussetzung für die Teilnahme am Modul: keine
Anbietende Lehreinheit: Informatik
Zuordnung zu Studiengängen Modulart
Master of Science Computational Science WiSe 2013/14 Wahlpflichtmodul
Master of Science Computational Science WiSe 2019/20 Wahlpflichtmodul
Master of Science Wirtschaftsinformatik und Digitale Transformation WiSe 2017/18 Wahlpflichtmodul