• English
• Deutsch

• University of Freiburg
• Faculty of Engineering
• Department of Computer Science

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.

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

Handlungsplanung

This course is held in German.

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

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.

• Contact Legal Information