Uni-Logo

Lectures in winter semester 2014/2015

Informatik I

This course is held in German.

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.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Informatik I

Constraint-Satisfaction-Probleme

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).

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl and Dr. Christian Becker-Asano
Web page: Constraint-Satisfaction-Probleme

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

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

Course type: AI lab seminar
Organizer: Johannes Aldinger
Web page: Lesegruppe Handlungsplanung und Suche