Lectures in summer semester 2011
Computer Science theory I
This course is aimed at the students of the Applied Computer Science degree programme. The goal of this course is to improve your knowledge on data structures and algorithms, as well as database systems. To achieve this goal, some basic knowledge of standard data structures and algorithms is required. Mathematical tools and methods, usually taught in the first two years of a bachelor program in computer science, are frequently used in this lecture. Central topics of this lecture include:
- Introduction to algorithm design and analysis
- Introduction to complexity theory
- Introduction to database algorithms
| Course type: | Lecture |
| Lecturer: | Prof. Dr. Jan-Georg Smaus |
| Web page: | Computer Science theory I |
Einführung in die Modallogik
This course is held in German.
Die Vorlesung bietet eine eingehende Einführung in die Modallogik und eng verwandte Logiken, wobei sowohl theoretische als auch algorithmische Fragestellungen besprochen und ausgewählte Anwendungen dieser Logiken aufgezeigt werden.
| Course type: | Lecture |
| Lecturer: | Dr. Stefan Wölfl |
| Web page: | Einführung in die Modallogik |
Seminar: Automatenkonstruktionen im Model Checking
This course is held in German.
Model Checking ist die in der Praxis wichtigste Methode zur Verifikation und Falsifikation von Hardware- und Softwaresystemen. In diesem Seminar geht es vorrangig um den automatentheoretischen Ansatz zum Model Checking.
| Course type: | Lecture |
| Lecturers: | Prof. Dr. Jan-Georg Smaus and Dr. Stefan Wölfl |
| Web page: | Seminar: Automatenkonstruktionen im Model Checking |
Pro-Seminar: Prinzipien erfolgreicher Teams bei RoboCup
This course is held in German.
Das Seminar soll den Teilnehmern, normalerweise Bachelor-Studierende im 3. Semester, einen Einblick in die Anätze erfolgreicher Teams während des RoboCup Wettbewerbs geben. Beispiele für solche Ansätze finden sich im Bereich des Fußballspiels oder auch im Bereich von Rettungsszenarien. Ein Schwerpunkt liegt dabei auf den methodischen Grundlagen, die dabei Verwendung finden, wie z.B. der Kartierung, Pfadplanung und Multiagenten-Planung, Multi-Roboter Koordination, sowie dem Maschinellen Lernen.
| Course type: | Lecture |
| Lecturers: | Prof. Dr. Jan-Georg Smaus, Dr. Alexander Kleiner and Dr. Christian Dornhege |
| Web page: | Pro-Seminar: Prinzipien erfolgreicher Teams bei RoboCup |
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 |