Lehrveranstaltungen im Wintersemester 2011/2012
Informatik III (Theoretische Informatik)
Die Vorlesung gibt eine eingehende Einführung in die Theoretische Informatik. Neben verschiedenen formalen Präzisierungen des Berechenbarkeitsbegriffs, werden als Themen endliche Automaten, formale Sprachen und Grammatiken, Entscheidbarkeit und Komplexitätstheorie behandelt.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl |
| Webseite: | Informatik III (Theoretische Informatik) |
Theoretical Computer Science II (ACS II)
Diese Veranstaltung wird auf Englisch abgehalten.
This course for ACS students covers theoretical aspects of computer science, including the following topics: automata, formal languages, formal grammars, Turing machines, decidability, complexity theory, and logic.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Bernhard Nebel |
| Webseite: | Theoretical Computer Science II (ACS II) |
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 |
Proseminar: Graphalgorithmen
Viele Entscheidungs- und Suchprobleme in der Informatik lassen sich als graphentheroetische Probleme auffassen. In diesem Proseminar sollen Algorithmen zur Lösung solcher graphtheoretische Probleme vorgestellt und implementiert werden.
| Art der Veranstaltung: | Proseminar |
| Organisatoren: | Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl |
| Webseite: | Proseminar: Graphalgorithmen |
Practical: Robotics Laboratory
Diese Veranstaltung wird auf Englisch abgehalten.
In this practical students develop projects in a robotics context.
| Art der Veranstaltung: | Praktikum |
| Organisatoren: | Dr. Christian Dornhege und Prof. Dr. Bernhard Nebel |
| Webseite: | Practical: Robotics Laboratory |
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 ein 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: | Prof. Dr. Malte Helmert |
| Webseite: | Lesegruppe Handlungsplanung und Suche |