Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Abteilung | Mitarbeiter | Lehre | Forschung | Publikationen | Service | Institut | Informatik | Fakultät
Institut für Formale Methoden der Informatik

Lehrangebot Wintersemester 2011/12

 englishicon
 
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 ( mailto Pro ) |  © Universität Stuttgart | Impressum