Lehrveranstaltungen der Abteilung im WS 2003/2004

Veranstaltungen im Grundstudium

• Theoretische Informatik I
  J. Toran mit B. Hollas
• Formale Konzepte der Informatik
  R. Schuler mit J. Messner

Veranstaltungen im Hauptstudium

• Algorithmen II
  J. Toran mit J. Stallkamp
• Algorithmen der Bioinformatik
  R. Schuler mit J. Stallkamp
• Hauptseminar Aussagenlogische Beweise
  J. Messner
• Praktikum Bioinformatik
  R. Schuler und Dr. H. A. Kestler
• Kryptographie
  W. Lindner mit B. Hollas

Diplomandenseminar Theoretische Informatik