Teaching

Current Courses (SS 2014)

Frühere Veranstaltungen

Regular Courses

Area of Specialisation: Logic and Complexity

  • Mathematical Logic II
  • Logic and Games
  • Algorithmic Model Theory
  • Complexity Theory
  • Quantum Computing
  • if necessary further lectures offered by the Chair of Computer Science 7