Lehrstuhl
Forschung / Projekte
Lehre
Aktuell
Archiv
Allgemeine Informationen
Literatur
Skripte
Vorlesungsvideos
AG Logik und Automaten
Team
Diplomarbeiten
Publikationen
Kontakt
Konferenzen / Workshops
Links
Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme
Prof. Dr. Dr.h.c. Wolfgang Thomas
Aktuelles Semester
Sommersemester 2008 (
CAMPUS
)
Vorlesungen
Angewandte Automatentheorie
Formale Systeme, Automaten, Prozesse
Erkenntniswege in der Erfahrungswissenschaft
Proseminare, Seminare, Praktika
Seminar über Automatentheorie
Informatikpraktikum für Mathematiker
Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX
Sonstiges
Arbeitsgemeinschaft Logik und Automaten
Vorankündigung für das Wintersemester 2008/2009 (
CAMPUS
)
Vorlesungen
Automaten auf unendlichen Wörtern
Unendliche Spiele
Rekursionstheorie
Ideengeschichte der Informatik
Planeten und Exoplaneten
Proseminare, Seminare, Praktika
Seminar über Automatentheorie
Proseminar über Automatentheorie
Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX
Sonstiges
Arbeitsgemeinschaft Logik und Automaten
Haftungsausschluss
• Letzte Änderung: 18.06.2008 •
HTML