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

6 Vorlesungen und Seminare

Brauer :
Vorlesung: Einführung in die Informatik I, WS 98/99, 4 SWS.
Vorlesung: Einführung in die Informatik II, SS 99, 4 SWS.
Proseminar: Vom Booleschen Verband zur Relationsalgebra, SS 99, 2 SWS.
Vorlesung: Nichtsequentielle Systeme, nebenläufige Prozesse, WS 99/00, 4 SWS.
Vorlesung: Neuronale Netze, WS 99/00, 2 SWS.


Brauer , Esparza , Kiehn :
Proseminar: Entwurf Verteilter Programme, WS 99/00, 2 SWS.


Brauer , Esparza , Mayr , Steger :
Oberseminar: Theoretische Informatik, SS 99, 2 SWS.
Oberseminar: Theoretische Informatik, WS 99, 2 SWS.


Brauer , Esparza , Röckl :
Proseminar: Verteilte Algorithmen, WS 99, 2 SWS.
Hauptseminar für überfachliche Grundlagen: Die Internet-Gesellschaft, SS 99, 2 SWS.


Brauer , Hernández , Kirchmair :
Praktikum: Methoden der künstlichen Intelligenz, SS 99, 2 SWS.


Brauer , Ungerer :
Proseminar: Unix-Tools-Einführung, WS 99/00, 3 SWS.


Brauer , Stein :
Proseminar: Unix-Tools für Fortgeschrittene, WS 99/00, 3 SWS.


Brauer , Esparza , Mayr , Steger :
Oberseminar: Theoretische Informatik, WS 98/99, 2SWS.
Oberseminar: Theoretische Informatik, SS 99, 2SWS.


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


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


Brauer , Ströhlein:
Proseminar: Vom Booleschen Verband zur Relationsalgebra - mit Anwendungen in der Graphentheorie, WS 98/99, 2 SWS.


Deco :
Vorlesung: Lernende Systeme: Ein informationstheoretischer Zugang WS 98/99, 2 SWS.
Vorlesung: Neurokognitive Systeme, SS 98/99, 2 SWS.
Vorlesung: Lernende Systeme: Ein informationstheoretischer Zugang WS 99/00, 2 SWS.
Vorlesung: Lernende Systeme II: Netze gepulster Neuronen SS 99, 2 SWS.


Esparza :
Vorlesung: Logik, SS 99, 4 SWS.
Vorlesung: Automatentheorie und formale Sprachen II: Programmverifikation mit Automaten, SS 99, 2 SWS.


Geiger:
Vorlesung: Industrielle Anwendung von Neuronalen Netzen, SS 99, 2 SWS.


Hernández , Schlieder :
Vorlesung: Repräsentation und Verarbeitung räumlichen Wissens, WS 99/00, 2 SWS.


Kiehn :
Vorlesung: Model Checking, SS 99, 2SWS.


Kiehn , Weiß :
Haupseminar: Multiagentensysteme - Grundlagen, Spezifikation und Verifikation, WS 99/00, 2SWS.


Payer :
Vorlesung: Synthese und Verifikation Digitaler Systeme, WS 99/00, 2 SWS.


Röckl :
Proseminar: Verteilte Algorithmen, WS 98/99, 2SWS.
Seminar Überfachliche Grundlagen: Die Internet-Gesellschaft, SS 99, 2SWS.
Proseminar: Entwurf verteilter Programme, WS 99/00, 2SWS.


Römer :
Proseminar: Verteilte Algorithmen, WS 98/99, 2SWS.
Praktikum: Automatische Verifikation reaktiver Systeme, WS 98/99, 6SWS.
Proseminar: Entwurf verteilter Programme, WS 99/00, 2SWS.
Praktikum: Automatische Verifikation reaktiver Systeme, WS 99/00, 6SWS.


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


Runkler :
Vorlesung: Data Mining und Knowledge Discovery, SS 99, 2SWS.
Vorlesung: Data Mining II: Clusteranalyse, WS 99/00, 2SWS.


Schröter :
Proseminar: Verteilte Algorithmen, WS 98/99, 2 SWS. Seminar Überfachliche Grundlagen: Die Internet-Gesellschaft, SS 99, 2 SWS. Proseminar: Entwurf verteilter Programme, WS 99/00, 2 SWS.


Stein :
Proseminar: Unix-Tools, SS 99, 2 SWS.
Proseminar: Einfuehrung in Unix-Tools, WS 99/00, 3SWS.
Proseminar: Unix-Tools für Fortgeschrittene, WS 99/00, 2 SWS.


Ungerer :
Proseminar: Unix-Tools, SS 99, 2 SWS.
Proseminar: Einführung in Unix-Tools, WS 99/00, 3SWS.
Proseminar: Unix-Tools für Fortgeschrittene, WS 99/00, 2 SWS.


Taubner :
Vorlesung: Management von Softwareprojekten, Blockvorlesung 11.2.99, FH Rosenheim.


Wallner :
Proseminar: Verteilte Algorithmen, WS 98/99.



next up previous contents
Next: 7 Sonstige Tätigkeiten Up: Tätigkeitsbericht 1999 Previous: 5 Vorträge
Felix Brandt, Montag, 9. Oktober 2000, 11:26:28 Uhr MET DST