uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Abteilung Algorithmik
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
SS 11