I7 Logo
  • Lehrstuhl
  • Forschung / Projekte
  • Lehre
    • Aktuell
    • Archiv
    • Allgemeine Informationen
    • Literatur
    • Skripte
    • Vorlesungsvideos
    • AG Logik und Automaten
  • Team
  • Bachelor- / Master- / Diplomarbeiten
  • Publikationen
  • Kontakt
RWTH Aachen Logo

Dies ist ein Archiv der alten Seiten.
Die aktuellen Seiten finden Sie unter www.lics.rwth-aachen.de

Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme

View this page in English Prof. Dr. Martin Grohe, Prof. Dr. Dr.h.c. Wolfgang Thomas

Aktuelles Semester

Wintersemester 2013/14 (CAMPUS: Gruppe von M. Grohe, Gruppe von W. Thomas)

  • Vorlesungen
    • Komplexitätstheorie (Grohe)
    • Infinite Computations (Thomas)
    • Regular and Context-Free Languages: Advanced Results (Thomas)
    • Tree Automata (Löding)
    • Grenzen (Oberschelp)
  • Proseminare, Seminare, Praktika
    • Seminar Berechnungsmodelle für "Big Data" (Grohe)
    • Seminar über Automatentheorie (Thomas)
    • Proseminar Informationstheorie (Grohe)
    • Proseminar Automatentheorie (Löding)
    • Praktikum: Reguläre Ausdrücke Implementieren in Java
  • Sonstiges
    • Arbeitsgemeinschaft Logik und Automaten
    • Projekt Leonardo: Sprache - Kommunikation - Erkenntnis: Fundamentales über natürliche und formale Sprachen

Sommersemester 2013 (CAMPUS)

Professor Thomas hat im Sommersemester 2013 ein Forschungssemester und bietet deshalb keine Veranstaltungen an.
  • Vorlesungen
    • Formale Systeme, Automaten, Prozesse (Grohe)
    • Theory of Constraint Satisfaction Problems (Grohe)
    • Applied Automata Theory (Löding)
    • Automaten, Sprachen, Komplexität (Löding)
    • Logik und Empirie (Oberschelp)
  • Proseminare, Seminare, Praktika
    • Seminar über Automatentheorie (Löding)
    • Seminar Distance Oracles (Grohe)
    • Informatikpraktikum für Mathematiker
  • Sonstiges
    • Arbeitsgemeinschaft Logik und Automaten
Haftungsausschluss • Letzte Änderung: 08.10.2013 • HTML