informatik
institut
suche
sitemap
kontakt
print
Institut für Formale Methoden der Informatik
Team
Volker Diekert
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Heike Photien
Ulrich Hertrampf
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Research
Frequency Computations
Publications
Jonathan Kausch
Teaching
SS 2013
WS 2012/13
SS 2012
Publications
Manfred Kufleitner
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Supervised Student Work
Publications
Alexander Lauser
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Tobias Walter
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Armin Weiß
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Horst Prote
Sourcen & Dienste
Linux
TeXnics
Links
Ehemalige
Dr. Holger Austinat
Andreas Bergen
Dr. Michael Bertol
Dr. Stefan Göller
Dr. Benjamin Hoffmann
Dr. Steffen Kopecki
Teaching
Publications
Dr. Jürn Laun
Teaching
Publications
Prof. Dr. Markus Lohrey
Alexander Miller
Prof. Dr. Anca Muscholl
Dr. Nicole Ondrusch
Dr. Holger Petersen
Dr. Walter Reuß
Dr. Klaus Wich
Lehre
SS 2013
Formale Sprachen und Automatentheorie
Konkrete Mathematik
Kryptographische Verfahren
Quantencomputing
Ergänzungen Mathe
WS 2012/13
Logik & Diskrete Strukturen
Erg. zu Logik & DS
Ergänzungen Mathe
Berechenbarkeit & Komplexität
Algorithmen und Berechenbarkeit / Formale Methoden
Erg. zu Algorithmen, Berechenbarkeit & Komplexität
Sem. Ausgewählte Themen der TI
SS 2012
Komplexitätstheorie
Ergänzungen Theorie
Algorithmik
Formale Sprachen und Automatentheorie
Ergänzungen Mathe
WS 2011/12
Logik & Diskrete Strukturen
Ergänzungen zu Logik & DS
Berechenbarkeit & Komplexität
Algorithmen & Berechenbarkeit / Formale Methoden
Ergänzungen Algorithmen, Berechenbarkeit & Komplexität
Algorithmik
Automaten über unendlichen Wörtern
frühere Semester
Oberseminar
Studien- und Diplomarbeiten
Studienprojekte
Softwarepraktika
alte Prüfungen
Standardlehrbücher
Theorie anschaulich
Forschung
Forschungskontakte
Publikationen
Workshops
Publikationen
Uni Stuttgart
⇒
Informatik
⇒
FMI
⇒
Theoretische Informatik
⇒
Team
⇒
Ehemalige
⇒
Dr. Steffen Kopecki
⇒
Teaching
⇒ WS 2010/11
Ehemalige
Dr. Holger Austinat
Andreas Bergen
Dr. Michael Bertol
Dr. Stefan Göller
Dr. Benjamin Hoffmann
Dr. Steffen Kopecki
Teaching
SS 2011
WS 2010/11
former terms
Publications
Dr. Jürn Laun
Prof. Dr. Markus Lohrey
Alexander Miller
Prof. Dr. Anca Muscholl
Dr. Nicole Ondrusch
Dr. Holger Petersen
Dr. Walter Reuß
Dr. Klaus Wich
Courses Steffen Kopecki
Winter 2010/11
Übungen zu
Theoretische Grundlagen der Informatik I: Logik und Diskrete Strukturen
