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 Sommersemester 2011

 englishicon
 
Wintersemester 2010/11 | Wintersemester 2011/12 | aktuell | Skripte, Übungsblätter, Prüfungen
- Vorlesungen    
- Theoretische Grundlagen der Informatik: Formale Sprachen und Automatentheorie   Prof. Ulrich Hertrampf
- Ergänzungen zur Theoretischen Informatik   Jürn Laun
- Komplexitätstheorie   Prof. Volker Diekert
- Algorithmische Gruppentheorie   Prof. Volker Diekert
- Quantencomputing   Prof. Ulrich Hertrampf
- Seminare    
- Hauptseminar Automaten über unendlichen Objekten Prof. Volker Diekert / Dr. Manfred Kufleitner
- Oberseminar der Theoretischen Informatik
 
Letzte Änderung 20.04.2012 ( mailto Pro ) |  © Universität Stuttgart | Impressum