[an error occurred while processing this directive] [an error occurred while processing this directive]
Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
[an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive]
Institut für Formale Methoden der Informatik

Lehrangebot Wintersemester 2011/12

englishicon
  [an error occurred while processing this directive] [an error occurred while processing this directive]
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