next up previous contents
Next: 7 Sonstige Tätigkeiten Up: Tätigkeitsbericht 1998 Previous: 5 Vorträge

6 Vorlesungen und Seminare

Brauer :
Vorlesung: Automaten, Formale Sprachen, BerechenbarkeitII, WS 97/98, 2 SWS.
Vorlesung: Fuzzy Logik, WS 97/98, 2 SWS.
Vorlesung: Nichtsequentielle Systeme, nebenläufige Prozesse, SS 98, 4 SWS.
Vorlesung: Einführung in die Informatik I, WS 98/99, 4 SWS.
Proseminar: Künstliche Intelligenz (mit Bücherl und Ruge), WS 97/98, 2 SWS.


Brauer , Esparza :
Mit Prof. Mayr und Prof. Steger:
Oberseminar: Theoretische Informatik, SS 98.


Brauer , Esparza , Kiehn , Mayr , Melzer , Menden , Prensa Nieto , Röckl , Römer , Rossmanith , Wallner :
Proseminar: Verteilte Algorithmen, WS 97/98, 2 SWS.


Brauer , Esparza , Mayr , Röckl , Römer , Rossmanith , Wallner , Schröter , Schwoon :
Proseminar: Verteilte Algorithmen, WS 98/99, 2 SWS.


Brauer , Esparza , Kiehn , Mayr , Melzer , Menden , Röckl , Römer , Rossmanith , Wallner :
Hauptseminar: Quanteninformatik, WS 97/98.


Brauer , Esparza , Melzer , Menden , Prensa Nieto , Röckl , Römer , Rossmanith , Wallner :
Proseminar: Rechnen mit Billardkugeln - Modelle für Berechnungen, SS 98, 2 SWS.


Brauer , Kirchmair :
Praktikum: Methoden der künstlichen Intelligenz: Neuronale Netze, WS 97/98, 2 SWS.


Brauer , Kirchmair , Sturm :
Proseminar: UNIX Tools, SS 98, 2 SWS.


Brauer , Scheler :
Vorlesung: Kognitive Modellierung und Simulation, WS 97/98, 2 SWS.


Brauer , Schlieder , Weiß :
Oberseminar: Künstliche Intelligenz/Kognition, WS 97/98, 2SWS.
Oberseminar: Künstliche Intelligenz/Kognition, SS 98, 2 SWS.
Oberseminar: Künstliche Intelligenz/Kognition, WS 98/99, 2SWS.


Deco :
Vorlesung: Neuronale Netze, WS 97/98, 2 SWS.


Esparza :
Wahlpflichtvorlesung: Komplexitätstheorie, WS 97/98, 4 SWS.
Wahlpflichtvorlesung: Logik, SS 98, 3 SWS.


Esparza , Melzer , Römer :
Praktikum: Automatische Verifikation reaktiver Systeme, WS 97/98, 6 SWS.


Hernández , Schlieder :
Vorlesung: Raumkognition: Repräsentation und Verarbeitung räumlichen Wissens, SS 98, 2 SWS.


Röckl , Römer :
Praktikum: Automatische Verifikation reaktiver Systeme, WS 98/99, 6 SWS.


Rossmanith :
Vorlesung: Parallele Algorithmen, WS 98/99, 4 SWS.


Weiß :
Vorlesung: Mehragentensystemmodelle, SS 98.


next up previous contents
Next: 7 Sonstige Tätigkeiten Up: Tätigkeitsbericht 1998 Previous: 5 Vorträge
Alexandra Musto, Tue Jul 13 15:19:24 MET DST 1999