Einige frühere Lehrveranstaltungen der Abteilung

• Lehrveranstaltungen im WS 2006/2007
• Lehrveranstaltungen im SS 2006
• Lehrveranstaltungen im WS 2005/2006
• Lehrveranstaltungen im SS 2005
• Lehrveranstaltungen im WS 2004/2005
• Lehrveranstaltungen im SS 2004
• Lehrveranstaltungen im WS 2003/2004

Noch frühere Lehrveranstaltungen

Vorlesungen im Grundstudium

• Allgemeine Informatik II (SS 96, J. Torán mit J. Messner)
• Formale Konzepte der Informatik
  WS 00/01, U. Schöning mit S. Baumer und B. Hollas
  WS 01/02, U. Schöning mit S. Baumer
  WS 02/03, R. Schuler mit B. Hollas
• Praktische Informatik I
  WS 96/97, U.Schöning; Übungen U.Schöning, J. Köbler und R. Schuler.
  WS 99/00, T. Thierauf mit T. Strzeletz und C. Hensinger
  
• Theoretische Informatik I
  WS98/99, J. Torán und W. Lindner
  WS99/00 U. Schöning mit S. Baumer und J. Messner
  WS 01/02 J. Toran mit B. Hollas
• Theoretische Informatik 2
  SS 97, J. Torán; Übungen, J. Torán und J. Messner.
  SS 98, U. Schöning und J. Messner
  SS 99, J. Torán und J. Messner
  SS 02, J. Toran mit B. Hollas
  Intensivstudiengang im Sommer 02 + Frühjahr 03, J. Torán

Vorlesungen im Hauptstudium

• Algorithmen
  WS 96/97, J. Toran und J. Messner.
  WS 97/98, U. Schöning; Tutorien, C. Karg und W. Lindner.
  WS 98/99 U. Schöning und J. Messner
  SS 01 J. Toran mit J. Messner.
  SS 02 R. Schuler mit J. Messner.
• Algorithmen 2 (SS 99, U. Schöning, WS 02/03, U. Schöning)
• Algorithmen in der Computergraphik (SS 98, J. Torán und T. Thierauf)
• Algorithmen der Bioinformatik (WS 02/03, R. Schuler mit J. Messner)
• Algorithmen und Kalküle (SS 96, U. Schöning)
• Algorithmische Informationstheorie (WS 96/97, U.Schöning)
• Algorithmische Komplexität von Lernprozessen (SS 96, J. Köbler)
• Automatentheorie und Syntaxanalyse (SS 97, R. Schuler)
• Berechenbarkeit (SS 96, R. Schuler, Übungen)
• Bioinformatik (WS98/99, WS99/00 , R. Schuler, WS99/00, WS 01/02, R. Schuler mit B. Hollas)
• Boolesche Funktionen und Schaltkreise WS 1/2 U. Schöning.
• Computational Geometry (SS 95, SS 96, T.Thierauf)
• Computergraphik
  WS98/99, H. Neumann, J. Torán und G. Baratoff
  WS99/00, J. Torán und G. Baratoff, Übungen, J. Messner
  SS01, H. Neumann und J. Toran. Übungen, J. Messner mit J. Fischer
  
• Design und Analyse von Algorithmen (WS 0/1, U. Schöning mit J. Messner)
• Datenkompression WS 0/1 J. Messner und U. Schöning
• Kalküle und Algorithmen in der Logik (WS99/00, U. Schöning)
• Komplexitätstheorie
  SS 97, U. Schöning und J. Messner
  WS98/99, J. Köbler und W. Lindner
  WS 0/1, T. Thierauf und J. Messner
  WS 01/02, J. Toran mit J. Messner
  WS 02/03, W. Lindner
• Kommunikationskomplexität (WS 97/98, J. Torán und R. Schuler)
• Kryptographie (WS 95/96 J. Köbler und R. Schuler; SS 97, J. Köbler, R. Schuler und Ch. Karg; SS 99 J. Köbler und J. Messner; SS 01 U. Schöning und B. Hollas, SS 02 U. Schöning und B. Hollas).
• Kryptographie 2 (WS 96/97, J.Köbler und R. Schuler; SS 98, J.Köbler und W. Lindner).
• Logik-Programmierung (SS 95, R. Schuler)
• Logische Programmierung (SS 01, R. Schuler)
• Optimierungsprobleme (SS 95, J. Köbler)
• Praktische Bioinformatik (SS 02, H. Hug und R. Schuler )
• Quantencomputer WS 1/2 R. Schuler, SS 03 Jacobo Torán
• Parallele Algorithmen (WS 96/97, WS 97/98, WS 98/99, WS 1/2, T.Thierauf)
• Probabilistische und approximative Algorithmen (WS 97/98, J. Köbler und J. Torán, Übungen: J. Messner)
• Randomisierte Algorithmen (SS 96, J.Toran mit B. List)
• Schaltkreistheorie (SS 97, T. Thierauf, SS 99 T. Thierauf)
• Sternstunden der Theoretischen Informatik (SS 95, U. Schöning)

Praktika

• DNA Word Design (WS 02/03, R. Schuler)
• Implementierung einer abstrakten Narrowingmaschine (SS 95, U. Schöning mit H. Faßbender )
• Theorielabor (SS 96, U. Schöning; WS 97/98, U. Schöning und J. Köbler).

Proseminare

• Computergraphik (SS 98, R. Schuler und J. Messner; SS 99, J. Köbler, W. Lindner und R. Schuler)
• Datenkompression (WS99/00, U. Schöning und J. Torán)
• Deklarative Programmierung (SS 95, U. Schöning mit H. Faßbender und W. Lindner )
• Effiziente Algorithmen (SS 95, U. Schöning mit T. Thierauf und C. Karg)
• Harte Nüsse (SS 02, J. Messner, T. Thierauf)
• Kombinatorische Methoden in der Informatik (WS 02/03, J. Torán)
• Kryptographie (SS 01, Thomas Thierauf)
• Moderne Verfahren der Kryptographie (SS 97, U. Schöning und T. Thierauf)
• Spielstrategien (SS 01, Uwe Schöning, Thomas Thierauf, Sven Baumer)
  

Hauptseminare

• Approximationsalgorithmen (SS 99, T. Thierauf und S. Baumer)
• Aussagenlogische Beweise (WS 02/03, J. Messner)
• Berechnungsmodelle (SS 96, W.Lindner)
• Bioinformatik (SS 01, R. Schuler und B. Hollas)
• Computational Biology (SS 98, J. Köbler, J. Torán und R. Schuler)
• Computergrafik (WS 97/98, U. Schöning, R. Schuler und J. Meßner)
• Generieren von Zufallszahlen (SS 98, U. Schöning, J. Torán und W. Lindner)
• Kolmogoroff-Komplexität (SS 95, U. Schöning mit W. Lindner )
• Interaktives Beweisen (SS 96, J. Köbler und Ch. Karg)
• Logische Charakterisierung von Komplexitätsklassen (WS 96/97, J.Toran mit J.Messner)
• Probabilistische Modelle für Algorithmen (WS 96/97, J.Köbler und R.Schuler).
• Probabilistische Algorithmen (SS 97, C. Karg, J. Köbler und J. Torán, SS 02, R. Schuler und T. Thierauf).
• Quantencomputer (SS 99, U. Schöning und R. Schuler; WS 0/1 R. Schuler)
• Sichere Telekommunikation
  WS 97/98, J. Köbler, W. Lindner und R. Schuler
  WS 98/99, J. Köbler, J. Messner und R. Schuler
  WS99/00, U. Schöning und J. Torán