Institut für Theoretische Informatik
- 1:
Lehre.- 1.1:
Vorlesungen.- 1.1.1:
Komplexitätstheorie. - 1.1.2: SAT Solving.
- 1.1.3: Algorithmen zur Sequenzanalyse.
- 1.1.4: Berechenbarkeit und Komplexität.
- 1.1.5: Kryptologie: Algorithmen und Methoden.
- 1.1.6: Logik.
- 1.1.7: Praktische Informatik.
- 1.1.1:
- 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archiv.
- 1.1:
- 2: Forschung.
- 3: TheorieTag.
- 4: Mitarbeiter.
- 5: Adresse.
- 6: Intern.
- 7: Impressum.
Komplexitätstheorie
Informationen
- Inhaltsverzeichnis:
Themen 
Skript- Weiterführende Links:
Complexity Zoo
Literatur
- S. Arora und B. Barak, Computational Complexity: A Modern Approach. Cambridge U. Press 2009
- L. Hemaspaandra und M. Ogihara, The Complexity Theory Companion. Springer 2002.
- J. Köbler, U. Schöning und J. Torán, The Graph Isomorphism Problem. Birkhauser 1993.
- B. Moret, The Theory of Computation. Addison Wesley 1998.
- C. Papadimitriou, Computional Complexity. Addison Wesley 1994.
- U. Schöning, Perlen der Theoretischen Informatik. Wissenschaftsverlag, 1995.
- M. Sipser, Introduction to the Theory of Computation. PWS Publishing Company, 1997.
- G. Wechsung, Vorlesungen zur Komplexitätstheorie. Teubner 2000.
- I. Wegener, Komplexitätstheorie. Springer 2003.
Dozent
Vorlesungszeiten
Dienstag 12:00 - 14:00 in O27/123
Mittwoch 10:00 - 12:00 in O27/121
Übungsleiter
Prof. Dr. Jacobo Torán