Lehrveranstaltungen im Wintersemester 2014/2015
Informatik I
Die Vorlesung gibt eine Einführung in die Grundlagen der Informatik. Es werden die Grundkonzepte der Programmierung erläutert. Dazu gehören funktionale und prozedurale Programmierung, test- und vertragsgesteuerte Entwicklung, Datenabstraktion, datengesteuerte und objektorientierte Programmierung.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Bernhard Nebel |
| Webseite: | Informatik I |
Constraint-Satisfaction-Probleme
Diese Veranstaltung wird auf Englisch abgehalten.
Diese Vorlesung bietet eine ausführliche Einführung in das Gebiet der Constraint-Satisfaction-Probleme. Dabei werden sowohl theoretische Themen behandelt (Komplexität und Ausdrucksstärke, polynomiell lösbare Problemklassen) als auch die wichtigen algorithmischen Themen vorgestellt (systematische und lokale Suchverfahren, Constraintpropagierung, Constrainteliminierung).
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl und Prof. Dr. Christian Becker-Asano |
| Webseite: | Constraint-Satisfaction-Probleme |
Handlungsplanung
Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller |
| Webseite: | Handlungsplanung |
Lesegruppe Handlungsplanung und Suche
In der Lesegruppe werden aktuelle und klassische Forschungsarbeiten aus den Gebieten Handlungsplanung, Suche und verwandten Gebieten diskutiert. Jeder Teilnehmer kann Lesevorschläge einbringen, von denen dann zu jedem Termin eine oder mehrere Arbeiten ausgewählt werden. Die ausgewählten Arbeiten werden von den Teilnehmern vor dem jeweiligen Besprechungstermin gelesen und dann in der Gruppe besprochen.
Die Veranstaltung richtet sich an Mitarbeiter und interessierte Studenten und Gäste. Es können keine ECTS-Punkte erworben werden.
| Art der Veranstaltung: | Oberseminar |
| Organisator: | Dr. Johannes Aldinger |
| Webseite: | Lesegruppe Handlungsplanung und Suche |