Uni-Logo

Lectures in winter semester 2011/2012

Informatik III (Theoretische Informatik)

This course is held in German.

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.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Stefan Wölfl
Web page: Informatik III (Theoretische Informatik)

Theoretical Computer Science II (ACS II)

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.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Theoretical Computer Science II (ACS II)

Handlungsplanung

This course is held in German.

Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Robert Mattmüller
Web page: Handlungsplanung

Proseminar: Graphalgorithmen

This seminar is held in German.

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.

Course type: Proseminar
Organizers: Prof. Dr. Bernhard Nebel and Dr. Stefan Wölfl
Web page: Proseminar: Graphalgorithmen

Practical: Robotics Laboratory

In this practical students develop projects in a robotics context.

Course type: Laboratory
Organizers: Dr. Christian Dornhege and Prof. Dr. Bernhard Nebel
Web page: Practical: Robotics Laboratory

Lesegruppe Handlungsplanung und Suche

This seminar is held in German.

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.

Course type: AI lab seminar
Organizer: Prof. Dr. Malte Helmert
Web page: Lesegruppe Handlungsplanung und Suche