Veranstaltungen im Sommer-
semester 2006

In dieser Vorlesung befassen wir uns mit dem generellen Problem, wie ein Computerprogramm, das in einer höheren Programmiersprache vorliegt, in ein auf einer konkreten Hardware ablauffähiges Maschinenprogramm übersetzt werden kann.  Das Anwendungsspektrum des Stoffs geht allerdings über die Implementierung von  Compilern hinaus. Die hier entwickelten Techniken können auf vielfältige Weise eingesetzt werden, z. B. für Assembler, Steuerung von Editoren und Textverarbeitungsprogrammen, Abfragen von Datenbanken, Aufbereitung strukturierter Daten, Druckausgabesprachen bzw. allgemein zur automatisierten Analyse hierarchisch strukturierter Dokumente. Der Aufbau eines Compilers selbst ist ein gutes Musterbeispiel für die Konzeption eines großen Softwareprojekts durch Zerlegung in Teilaufgaben und Spezifikation von Schnittstellen zwischen den entsprechenden Modulen. Themen der Vorlesung sind Formale Sprachen, Lexikalische Analyse, Syntaxanalyse, Semantische Analyse, Codegenerierung und Codeoptimierung

Die Vorlesung wendet sich an Studierende im Haupt- oder Nebenfach Informatik. Kenntnisse aus den Grundvorlesungen Informatik werden vorausgesetzt. Zur Vorlesung wird ein Skript erhältlich sein, das im Sekretariat erworben werden kann.

Zu dieser Vorlesung kann
a) ein Übungsschein oder
b) ein Leistungsnachweis über 6 ECTS Leistungspunkte oder
c) ein Leistungsnachweis über 9 ECTS Leistungspunkte
erworben werden. Zum Erwerb des ECTS-Scheins über 6 LP ist das Bestehen einer schriftlichen Prüfung erforderlich, für den Schein über 9 LP
ist zusätzlich die erfolgreiche Teilnahme an den Übungen Voraussetzung.

12.5: Skripte wieder erhältlich!

Termin: Di 11-13, Do 11-13, Raum: U 013, INF 350, Beginn: Di. 25.04.06

Die zur Vorlesung angebotenen Übungen dienen der Vertiefung des Stoffes. Sie umfassen insbesondere auch Programmieraufgaben. Die Teilnahme an den Übungen wird empfohlen. Durch Bearbeitung von Aufgaben und Teilnahme an den Übungsstunden kann ein Übungsschein erworben werden.

Termin: Di 14-16, Raum: U013, INF 350

Ergänzungsvorlesung "Gemischt-ganzzahlige Optimierung" (Reinelt, Oswald, 4 SWS)

Xpress-MP Suite Leading Optimization Software Linear Programming Mixed Integer Programming

Eines der zentralen Themen der Optimierung ist die gemischt-ganzzahlige und  kombinatorische Optimierung, d.h. die Lösung von Optimierungsaufgaben, bei denen für einen Teil der Variablen oder für alle nur ganzzahlige Werte zulässig sind. Gemischt-ganzzahlige lineare Modelle und zugehörige Software sind die am häufigsten in der Praxis verwendet Optimierungswerkzeuge. Sie werden z. B. intensiv zur Lösung von Problemen in Logistik, Produktionsplanung und Tourenplanung eingesetzt.

Diese Lehrveranstaltung behandelt die aktuelle Theorie und Praxis der gemischt-ganzzahligen Optimierung. Themen der Veranstaltung sind: Optimierungsmodelle, Grundlagen der linearen Optimierung und polyedrischen Kombinatorik, Dualität, Relaxierungen, Schnittebenengenerierung, Preprocessing, Dekompositionsverfahren, Heuristiken, Branch-and-Bound, Branch-and-Cut, Anwendungen in der Praxis. Die Veranstaltung umfasst einen Vorlesungsteil und einen integrierten Übungsteil mit praktischen Übungen am Computer. In den Übungen wird insbesondere vermittelt, Optimierungsmodelle zu formulieren, Modellgeneratoren zu benutzen und mit Hilfe von Optimierungsbibliotheken eigene Spezialalgorithmen zu entwickeln.

Die Vorlesung wendet sich an Studierende der Informatik oder Mathematik in Haupt- oder Nebenfach. sowie an Lehramtsstudenten. Außer mathematischem Grundwissen und Programmierkenntnissen in C oder C++ werden keine Kenntnisse vorausgesetzt.

Die erfolgreiche Teilnahme an der Veranstaltung wird mit 6 ECTS-Leistungspunkten bescheinigt.

Termin: Mo. 11-13, Raum: 432, INF 368, Mo. 14-16, Raum: U 012, INF 350 

Teilnahmeliste liegt im Sekretariat aus.

Seminar "Optimierungsprobleme auf Permutationen" (Reinelt, Seitz, 2 SWS)

Zur erfolgreichen Seminarteilnahme sind ein mündlicher Vortrag sowie eine schriftliche Ausarbeitung erforderlich. Es kann ein Nachweis nach ECTS über 3 Leistungspunkte erworben werden.

Vorbesprechung: Mi 15.02, 14 c.t., Raum: 015, INF 348
Termin: Do 14-16, Raum: U 013, INF 350
18.7.06: Scheine im Sekretariat abholbereit

Praktikum "Informatik" für Fortgeschrittene (Reinelt, Oswald, Seitz, 6 SWS)

In den Software-Praktika werden Projekte mit Informatikinhalten bearbeitet. Die Arbeit im Praktikum umfasst die Implementierung entsprechender Algorithmen, ihre ausführliche Dokumentation und einen Kurzvortrag über das bearbeitete Thema. Kenntnisse zu Effizienten Algorithmen werden vorausgesetzt.
Die erfolgreiche Teilnahme wird durch einen Nachweis nach ECTS über 9 Leistungspunkte bestätigt.
Praktikumsthemen können jederzeit ausgegeben werden. Gruppenarbeit ist möglich bzw. erwünscht. Es können auch eigene Themen vorgeschlagen werden.

---

Sprechstunde Prof. Dr. Gerhard Reinelt

Während der Vorlesungszeit Mi 11-12 und nach den Vorlesungen. Weitere Termine bitte über das Sekretariat vereinbaren (Tel. 54 57 48)