uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Lehrangebot Wintersemester 2011/12
Sommersemester 2011
|
aktuell
|
Skripte, Übungsblätter, Prüfungen
Die Webseiten des FMI wurden zum SS 2012 auf Typo3 umgestellt.
Hier
geht's zu den Webseiten der Lehre im SS 12.
Vorlesungen
Theoretische Grundlagen der Informatik I: Logik und Diskrete Strukturen
Prof. Ulrich Hertrampf
Ergänzungen zu Logik und Diskrete Strukturen
Jürn Laun
Berechenbarkeit und Komplexität
Prof. Volker Diekert
Algorithmen und Berechenbarkeit / Formale Methoden
Prof. Ulrich Hertrampf
Ergänzungen zu Algorithmen, Berechenbarkeit und Komplexität
Jürn Laun
Algorithmik
Prof. Volker Diekert
Automaten über unendlichen Wörtern
Dr. Manfred Kufleitner
Seminare
Ausgewählte Themen der Theoretischen Informatik
Prof. Volker Diekert / Dr. Manfred Kufleitner
Oberseminar
Letzte Änderung 20.04.2012 (
Pro
) | © Universität Stuttgart |
Impressum