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 Problemlösung und Optimierung


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-7070: Deklarative Problemlösung und Optimierung 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 (meist kombinatorischer) 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. Motivation, Einführung grundlegende Modellierungstechniken, Instantiierungsmethoden und -algorithmen, formale Charakterisierungen, Lösungsmethoden und -algorithmen, Optimierungsmethoden und -algorithmen, deklarative Problemlösungssysteme, erweiterte Modellierungstechniken, Anwendung zur Modellierung naturwissenschaftlicher Probleme. 

 

Qualifikationsziele

Die Studierenden

  • sind in der Lage, die Besonderheiten, Grenzen, Terminologien und Lehrmeinungen auf dem Gebiet des Deklarativen Problemlösens und Optimierens zu definieren und zu interpretieren. Das Wissen und Verstehen der Studierenden bildet die Grundlage für die Entwicklung und Anwendung eigenständiger Ideen auf dem Gebiet des Deklarativen Problemlösens und Optimierens 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 des Deklarativen Problemlösens und Optimierens
  • 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 des Deklarativen Problemlösens und Optimierens stehen. 
Modul(teil)prüfung (Anzahl, Form, Umfang, Arbeitsaufwand in LP):

Klausur, 90 Minuten

Selbstlernzeit (in Zeitstunden (h)): 105

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 Übung (Vorlesung und Übung) 4 - - -
Praktikum (Praktikum) 1

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

- -

Häufigkeit des Angebots:

WiSe

Voraussetzung für die Teilnahme am Modul: keine
Anbietende Lehreinheit: Informatik
Zuordnung zu Studiengängen Modulart
Master of Education Informatik - Sekundarst. I und II WiSe 2020/21 Wahlpflichtmodul [Sekundarstufe I]
Wahlpflichtmodul [Sekundarstufe II]
Master of Science Computational Science WiSe 2013/14 Wahlpflichtmodul
Master of Science Computational Science WiSe 2019/20 Wahlpflichtmodul
Master of Science Physik WiSe 2019/20 Wahlpflichtmodul
Master of Science Wirtschaftsinformatik und Digitale Transformation WiSe 2017/18 Wahlpflichtmodul