Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Algorithmik

englishicon
 

Lehrangebot Wintersemester 2010/11


Hinweis: Sie müssen sich ggf. per VPN in das Uninetz einhängen, um die Seiten zu den einzelnen Vorlesungen sehen zu können.
- Vorlesungen    
 - Berechenbarkeit und Komplexität   Funke/Storandt
 - Algorithmen und Berechenbarkeit   Eisner/Funke
- Seminare    
 - Oberseminar (jeweils Mi. 10:00 Uhr)   Funke et al.
- Fachpraktika    
 - Entwicklung von Spiele KIs   Eisner/Funke/Storandt
 - Effiziente Algorithmen unter Nicht-Standard-Berechnungsmodellen   Eisner/Funke/Storandt
- Softwarepraktika    
 - Dijkstra sucht die Superwohnung   Eisner/Funke/Storandt
- Studienarbeiten    
- Diplomarbeiten    

SS 10 voriges Semester nächstes Semester SS 11