Logik in der Informatik Prof. Louchka Popova-Zeugmann (Gastprofessur)

Aktuelles

Der Vorlesungsbetrieb startet am Dienstag, den 15. April 2014.
Der Übungsbetrieb startet in der 2. Semesterwoche.

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: dienstags    13 -15   und   donnerstags   09 - 11,   Rudower Chaussee 26,  Raum 1'305 bzw. Raum 1'303

Ü: dienstags    15 -17   und   donnerstags   11 - 13,   Rudower Chaussee 26,  Raum 1'305 bzw. Raum 1'303

Dozentin

Prof. Dr. Louchka Popova-Zeugmann

Übungsaufgaben

Es wird regelmäßig Übungsaufgaben geben, deren erfolgreiche Bearbeitung (mindestens 50% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.

Prüfung

Für die Zulassung zur Prüfung müssen mindestens 50% der Punkte in den Übungaufgaben erworben werden. Die Prüfung ist mündlich und dauert 30 Minuten.

Prüfungstermine:     28.07.2014,
                                09.10.2014.

Literatur