Uni-Logo

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, Prof. 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