Fakultät
Fakultät für Elektrotechnik und Informatik
Start
Kontakt
Institut für Theoretische Informatik
Institut
Institut
Zur Übersicht
Menü schließen
Personenverzeichnis
Kontakt und Anfahrt
Alumni
News
Seminarraum
Lehre
Lehre
Zur Übersicht
Menü schließen
Lehrveranstaltungen (Bachelor)
Lehrveranstaltungen (Master)
Studien- & Abschlussarbeiten
Lehrbücher
Forschung
Forschung
Zur Übersicht
Menü schließen
Oberseminar
Veranstaltungen
Publikationen
Schwerpunkte
Projekte
Sitemap
Sitemap
Startseite
Institut
Personenverzeichnis
Alumni
News
Seminarraum
Kontakt und Anfahrt
Lehre
Lehrveranstaltungen (Bachelor)
Grundlagen der Theoretischen Informatik
Komplexität von Algorithmen
Logik und formale Systeme
Systematisches Programmieren
Lehrveranstaltungen (Master)
Berechenbarkeit und Logik
Effiziente Algorithmen
Formale Sprachen
Komplexitätstheorie
Kryptographie
Logik und Komplexität
SAT-Algorithmen
Theorie Boole'scher Schaltkreise
Theorie der parametrisierten Komplexität
Studien- & Abschlussarbeiten
Abgeschlossene Arbeiten
Lehrbücher
Introduction to Circuit Complexity
Komplexität von Algorithmen
Forschung
Oberseminar
Publikationen
Schwerpunkte
Projekte
Arithmetische und Boole'sche Komplexität
Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
Parametrisierte Komplexität nichtklassischer Logiken
Deskriptive Komplexität von parametrisierten Zählproblemen
Veranstaltungen
81. Workshop über Algorithmen und Komplexität (Theorietag)
79. Workshop über Algorithmen und Komplexität (Theorietag)
Menü
×
Institut
Lehre
Forschung
Fakultät für Elektrotechnik und Informatik
Kontakt
