Logik in der Informatik Prof. Dr. Martin Grohe

Institut für Informatik

Aktuelles

An dieser Stelle finden Sie im Laufe der Vorlesung aktuelle Mitteilungen. Bitte sehen Sie regelmäßig nach, ob es Neues gibt.

Aufgabe zur Übung 6: als ps-File bzw. als pdf-File,

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 ps-File bzw. als pdf-File.

Informationen zum Vorlesungsbetrieb

Zeiten und Raum

dienstags 9:00-11:00 und donnerstags 9:00-11:00,  Rudower Chaussee 26, Raum 3'101

Dozent/in

Dr. Louchka Popova-Zeugmann

Übungen

Ergänzend zu den Vorlesungen finden 14-tägig 2-stündige Übungen statt.

Zeit und Raum

donnerstags 11:15-12:45,   Rudower Chaussee 26, Raum 3'101 

Übungsleiter/in

Dr. L. 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.

Hausaufgabenblatt 1: als ps-File bzw. als pdf-File

Hausaufgabenblatt 2: als ps-File bzw. als pdf-File

Hausaufgabenblatt 3: als ps-File bzw. als pdf-File

Hausaufgabenblatt 4: als ps-File bzw. als pdf-File, Abgabetermin: 14.06.2005

Hausaufgabenblatt 5: als ps-File bzw. als pdf-File, Abgabetermin: 23.06.2005

Hausaufgabenblatt 6: als ps-File bzw. als pdf-File, Abgabetermin: 07.07.2005

Prüfung

Für die Zulassung zur Prüfung müssen mindestens 50% der Punkte in den Übungaufgaben erworben werden.

Prüfungstermine:  04.08.2005
                              05.08.2005
                              11.10.2005
                              12.10.2005

Literatur