Uni-Logo

Lehrveranstaltungen im Wintersemester 2016/2017

Informatik I

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.

Art der Veranstaltung: Vorlesung
Dozent: Prof. Dr. Bernhard Nebel
Webseite: Informatik I

Autonome Navigation

In diesem Proseminar werden anhand von Originalliteratur unterschiedliche algorithmische Verfahren behandelt, die Teilprobleme der autonomen Navigation wie Pfadplanung und Pfadverfolgung lösen.

Art der Veranstaltung: Seminar
Organisatoren: Prof. Dr. Bernhard Nebel, Prof. Dr. Felix Lindner (Juniorprof.) und Dr. Andreas Hertle
Webseite: Autonome Navigation

Principles of AI Planning

Diese Veranstaltung wird auf Englisch abgehalten.

This course gives a detailed introduction to the theoretical and algorithmic foundations of modern AI planning systems.

Art der Veranstaltung: Vorlesung
Dozenten: Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller
Webseite: Principles of AI Planning

Dynamic Epistemic Logic

Diese Veranstaltung wird auf Englisch abgehalten.

This course gives a detailed introduction to Dynamic Epistemic Logics and to epistemic planning.

Art der Veranstaltung: Vorlesung
Dozenten: Prof. Dr. Bernhard Nebel, Dr. Robert Mattmüller und Thorsten Engesser
Webseite: Dynamic Epistemic Logic

Oberseminar

Diese Veranstaltung wird auf Englisch abgehalten.

Besprechung aktueller Forschungsthemen.

Art der Veranstaltung: Vorlesung
Dozent: Prof. Dr. Bernhard Nebel
Webseite: Oberseminar