Wir nutzen Cookies, um unser Angebot so barrierefrei wie möglich zu gestalten. Mit der folgenden Abfrage lassen sich die einzelnen Hilfsmittel auswählen und die Auswahl wird auf diesem Rechner lokal in Cookies gespeichert. Die Abfrage kann jederzeit über den Schalter oben rechts auf der Seite aufgerufen und verändert werden.

Alle Funktionen deaktivieren Alle Funktionen aktivieren Ausgewählte Funktionen aktivieren

Teaching

Winter term 2020/21

Summer term 2020

Winter term 2019/2020

Summer term 2019

Winter term 2018/2019

  • Complexity Theory (MSc)
  • Informatik III (BSc)

Summer term 2018

  • Logic and Verification (BSc)
  • Algorithmische Spieltheorie (MSc)
  • Proseminar (BSc)

Winter term 2017/2018

  • Informatik III (BSc)
  • Game Theory (MSc)

Summer term 2017

  • Proseminar (BSc)
  • Logic and Verification (BSc)

Winter term 2016/2017

  • Complexity Theory (MSc)
  • Informatik III (BSc)

Summer term 2016

  • Fortgeschrittenenprojekt/Projekt im Bachelor
  • Logic and Verification (BSc)

Winter term 2015/2016

  • Proseminar (BSc)
  • Informatik III (BSc)

Summer term 2015

  • Logic and Verification (BSc)
  • Proseminar/Seminar

Winter term 2014/15

  • Informatik III (BSc)
  • Informatikwerkstatt (BcS)
  • Game Theory (MSc)
  • Proseminar/Seminar (BSc and MSc)

Summer term 2014

  • Artificial Intelligence (BSc)
  • Proseminar/Seminar

Evaluations

We are committed to excellence in teaching. Our courses are evaluated using the system EvaSys. The evaluations can be obtained below by clicking on the respective courses. Here we list the evaluations of Prof. Dix per semester (containing all courses in the respective semester):

  • (no summary evaluations have been generated since 2013/2014)
  • WS 2013/14
  • SS 2012
  • WS 2011/12
  • SS 2011
  • WS 2010/11
  • SS 2010, ELAN
  • WS 2009/10
  • SS 2009 (ELAN)
  • WS 2008/09

Winter term 2013/14

  • Informatik III (BSc)
  • Logics for Multi-Agent Systems

Summer term 2013

  • Proseminar/Seminar
  • Artificial Intelligence (BSc)

Winter term 2012/13

  • Verification of Concurrent Systems (Verifikation von Parallelen Systemen) (MSc)
  • Informatik III (BSc)
  • Werkzeuge der Informatik

Summer term 2012

  • Multiagent Systems I (BSc)
  • Multiagent Systems II (MSc)
  • Artificial Intelligence (BSc)
  • Hauptseminar/Proseminar

Winter term 2011/12

  • Informatik III (BSc)
  • Introduction to the Modelling and Analysis of Security Protocols (MSc)
  • Seminar
  • Werkzeuge der Informatik

Summer term 2011

  • Complexity Theory (MSc)
  • Artificial Intelligence (BSc)
  • Multiagent Systems I (BSc)

Winter term 2010/11

  • Hauptseminar/Proseminar
  • Modallogiken (M.Sc.)
  • Informatik III (BSc)

Summer 2010

  • Multiagent Systems I (BSc)
    • Einleitung
    • Downloads
  • Multiagent Systems II (MSc)
    • Einleitung
    • Downloads
  • Artificial Intelligence (BSc)
    • Einleitung
    • Downloads

Winter 2009/10

  • Informatik III (BSc)
  • Multiagent Systems I (BSc)
    • Einleitung
    • Downloads
  • Hauptseminar/Proseminar
  • Seminar Artificial Intelligence in Biology and Medicine
  • Vorlesung Softcomputing
  • Vorlesung Modern Data Analysis
  • Werkzeuge der Informatik (BSc)

Summer 2009

  • Einführung in die Künstliche Intelligenz
    • Downloads
  • Multi-Agent System: Modeling, Reasoning, and Verification (Projectgroup)
  • Zeitreihenanalyse und -prognose
  • Neural Computation
  • Bioinformatics/Scheduling/Machine Learning

Winter 2008/09

  • Multi-Agent System: Modeling, Reasoning, and Verification
  • Multiagent Systems I (BSc)
    • Einleitung
    • Downloads
  • Hauptseminar/Proseminar
  • Modallogiken: Grundlagen und Erweiterungen
    • Downloads
  • Modellbildung und Simulation
  • Informatik III
  • Seminar Computational Intelligence in Biology and Medicine
  • Multi-Agent Systems in Real-Time Applications
    • Example 1: A single unit controlled by an agent
    • Example 2: Several units controlled by agents
    • Example 3: A harvester exploring the world and gathering resources

Summer 2008

  • Data and Web Mining
  • Seminar Robotics
  • Einführung in die Künstliche Intelligenz

Teaching of the past

Please have a look at these downloads.

Winter 2007/2008

  • Complexity Theory (Dix)
  • Hauptseminar (Dix)
  • Werkzeuge der Informatik (Dix, Hammer)
  • Modellbildung und Simulation (Reuter)

Summer 2007

  • Pro/Hauptseminar (Dix)
  • Artificial Intelligence (Dix)
  • Algorithms in Bioinformatics (Hammer)
  • Neural Computation (Hammer)
  • Seminar Bioinformatics and Machine Learning (Hammer)

Winter 2006/2007

  • Multi-Agent Systems (Dix)
  • Programmierpraktikum (Dix)
  • Informatics III (Hammer)
  • Softcomputing (Hammer)
  • Proseminar Data Mining (Hammer)
  • Seminar Self-Organizing Maps (Hammer)

Summer 2006

  • Neural Computation (Hammer)
  • Seminar Modern Heuristics (Hammer)
  • Pro/Hauptseminar AI (Dix)
  • Artificial Intelligence (Dix)

Winter 2005/2006

  • Informatik III (Dix)
  • Multiagent Systems (Dix)
  • Hauptseminar/Praktikum Hybride Systeme (Hammer)
  • Seminar Maschinelles Lernen (Hammer)
  • Algorithmische Bioinformatik (Hammer)

Summer 2005

  • Theoretical Computer Science II (Dix)
  • Informatics II (Hammer)
  • Artificial Intelligence (Dix)
  • Planning Seminar (Dix)
  • Selforganization Seminar (Hammer)

Winter 2004/2005

  • Softcomputing (Hammer)
  • Neural Networks (Reuter)
  • Artificial Intelligence (Dix)
  • Informatics I (Hammer)
  • Praktikum in Programming (Dix)
  • Multi-Agent Systems (Dix)
  • Theoretical Computer Science I (Dix)

Summer 2004

  • Artificial Intelligence (Dix)
  • Theoretical Computer Science II (Dix)
Courses Overview

Courses Overview

Student Projects

Student Projects

International Lecturing

International Lecturing

LaTeX Downloads

LaTeX Downloads