Logik in der Informatik PD Dr. Louchka Popova-Zeugmann

Aktuelles

Die Vorlesungen und die Übung am 6.7.2017, 14.7.2017 und 15.7.2017 fallen aus.

Das sind die Folien aus der ersten Vorlesung als pdf-File.

Bitte schreiben Sie sich in den Moodle-Kurs mit dem Einschreibeschlüssel 1104 ein.

Einführung

Inhalt:  Die Optimierung beschäftigt sich mit der Findung der besten Lösung(en) eines Problems. Die LO untersucht Probleme, bei denen die Gesamtheit aller Lösungen durch lineare (Un-)Gleichungen und das Ziel als eine bzw. mehrere lineare Funktionen gegeben sind. Angewand in technischen, betriebs- und volkswirtschaftlichen Zusammenhängen, dient die bereits in der Planung eingesetzte Optimierung dazu, knappe Ressourcen so effektiv wie möglich zu verwenden bzw. ein gewünschtes Ergebnis mit möglichst geringem Ressourcenverbrauch zu erreichen. In dieser Vorlesung werden wir die klassischen Lösungsverfahren kennenlernen: Simplexmethode, duale Simplexmethode, Methode der Potentiale zur Lösung der klassischen Transportaufgabe, sowie die Grundidee des polynomialen Algorithmus von Chatchijan der eingeschriebenen Ellipsoide. Die entwickelten Verfahren werden wir auch zur Lösung von 1-parametrischen LO-Aufgaben, verschiedenen Transportaufgaben und zur Lösung von Aufgaben aus der Spieltheorie anwenden.

Logbuch

Das Skript zur Vorlesung: als pdf-File.

Informationen zum Vorlesungsbetrieb

Zeiten und Raum

V: mittwochs         9:15 - 10:45   Rudower Chaussee 26,  Raum 1'307

    donnerstags     13:15 - 14:45   Rudower Chaussee 26,  Raum 1'305

Ü: mittwochs       11:00 - 12:30   Rudower Chaussee 26,  Raum 1'307

Dozent

PD Dr. Louchka Popova-Zeugmann

Tutor

Sarah Kleest-Meissner

Übungsaufgaben

Prüfung

Prüfungstermine:     

Literatur