Veranstaltungen im Sommer-
semester 2015

Veranstaltungsnummer:11MINV0142
Kürzel mit Link auf Modulhandbuchseite: ICOM

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 Textverarbeitungs-
programmen, 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 der Informatik und Mathematik in Haupt- oder Nebenfach sowie an Lehramtsstudenten. Kenntnisse aus den Grundvorlesungen Informatik werden vorausgesetzt.
Das Skript zur Vorlesung finden Sie kapitelweise auf die E-Learning-Plattform MOODLE.

Termin: Di. 14-16 s.t., Raum: U 013, INF 350,
Beginn: Di. 15.04.2015

Übung zu "Compilerbau" (Reinelt, Wiesberg, 2 SWS)

Die zur Vorlesung gehörigen Übungen dienen der Vertiefung des Stoffes, durch Bearbeitung von Aufgaben.

Termin: Mo. 14-16, Raum: U013, INF 350
Beginn: Mo. 27.04.2015

Modul "Compilerbau"

Vorlesung und Übung bilden zusammen das Modul "Compilerbau". Zum Bestehen des Moduls ist die erfolgreiche Teilnahme an den Übungen (Erreichen von 50% der Übungspunkte) sowie das Bestehen der schriftlichen Abschlussprüfung erforderlich.
Das Modul wird mit 6 LP gewertet.

Vorlesung "Gemischt-ganzzahlige und kombinatorische Optimierung" (Reinelt, 2 SWS)

Veranstaltungsnummer: 11MINSP005
Kürzel mit Link auf Modulhandbuchseite: IMIP

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 Vorlesung wendet sich an Studierende der Informatik oder Mathematik in Haupt- oder Nebenfach sowie an Lehramtsstudenten und Doktoranden. Mathematisches Grundwissen und Programmierkenntnisse in C oder C++ werden vorausgesetzt.
Die erfolgreiche Teilnahme an der Veranstaltung wird mit 6 LP bescheinigt.
Das Skript zur Vorlesung finden Sie kapitelweise auf die E-Learning-Plattform MOODLE

Termin: Do. 14-16, Raum: U013, INF 350
Beginn: Do. 16.04.2015

Die zur Vorlesung gehörigen Übungen dienen der Vertiefung des Stoffes, durch Bearbeitung von Aufgaben.
Termin: Mo. 16-18, Raum: U013, INF 350
Beginn: Mo. 27.04.2015
Zur Übungsseite

Modul "Modul "Gemischt-ganzzahlige und kombinatorische Optimierung"

Vorlesung und Übung bilden zusammen das Modul "Gemischt-ganzzahlige und kombinatorische Optimierung". Zum Bestehen des Moduls ist die erfolgreiche Teilnahme an den Übungen (Erreichen von 50% der Übungspunkte) sowie das Bestehen der schriftlichen Abschlussprüfung erforderlich.
Das Modul wird mit 6 LP gewertet.

Kürzel mit Link zu Modulhandbuchseite: IS

Die Veranstaltung richtet sich an fortgeschrittene Studierende der Informatik und Mathematik.

Termin: Do. 16-18, Raum: U013, INF 350
Am 2. Juli findet das Seminar ausnahmsweise im Raum 248, INF 368 statt.
Vorbesprechung am Do. 05.02.15, 15-16, Raum: U013, INF 350
Mehr Informationen finden Sie hier.

Veranstaltungsnummer: 11BINPR100
Kürzel mit Link zu Moduldhandbuchseite: IAP

In den Software-Praktika werden Projekte aus dem Bereich Optimierung bearbeitet. Die Arbeit im Praktikum umfasst die Implementierung entsprechender Algorithmen, ihre ausführliche Dokumentation und einen Kurzvortrag über das bearbeitete Thema. Für Anfängerpraktika sind Grundkenntnisse in Informatik ausreichend.
Die erfolgreiche Teilnahme wird durch einen Nachweis über 6 LP (davon 4 FüK) bestätigt.
Praktikumsthemen können jederzeit ausgegeben werden. Gruppenarbeit ist möglich bzw. erwünscht. Es können auch eigene Themen vorgeschlagen werden.

Hauptseminar "Kombinatorische Optimierung" (Reinelt, 2 SWS)
Veranstaltungsnummer: 11MINHS000

Dieses Seminar ist für Mitarbeiter sowie die Studenten gedacht, die eine Abschlussarbeit im Bereich Informatik und Optimierung schreiben. Es wird über die laufenden bzw. abgeschlossenen Arbeiten berichtet. Vorträge werden jeweils durch Aushang angekündigt.

Termin: n.V.