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

6 Vorlesungen und Seminare

Brauer :
Vorlesung: Automaten, Formale Sprachen, Berechenbarkeit, WS00/01, 4 SWS.
Vorlesung: Fuzzy-Logik und -steuerung, SS 00, 2 SWS.
Vorlesung: Nichtsequentielle Systeme, nebenläufige Prozesse, WS 99/00, 4 SWS.
Vorlesung: Neuronale Netze, WS 99/00, 2 SWS.
Vorlesung: Verteilte Systeme: Formale Methoden, Anwendungen, Werkzeuge, SS00, 4 SWS.


Brauer , Brandt , Nickles , Weiß :
Hauptseminar: Agenten in der Informatik, SS 00, 2 SWS.
Hauptseminar: Agenten in der Informatik, WS 00/01, 2 SWS.


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


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


Brauer , Esparza , Röckl :
Proseminar: Verteilte Algorithmen, WS 99/00, 2 SWS.


Brauer , Kirchmair , Brandt :
Proseminar: Unix-Tools-Einführung, WS 00/01, 3 SWS.


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


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


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


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


Deco :
Vorlesung: Lernende Systeme: Ein informationstheoretischer Zugang WS 99/00, 2 SWS.


Esparza :
Vorlesung: Automata theory, formal languages and computability WS 99/00, 2 SWS.
Vorlesung: Probability theory and statistics, SS 00, 2 SWS.
Seminar: Design of distributed systems, WS 99/00, 2 SWS.
Seminar: Cryptographic protocols, SS 00, 2 SWS.


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


Holzer :
Seminar: Übungen zu Automaten, formale Sprachen und Berechenbarkeit, WS 00/01, 2 SWS.
Proseminar: Algorithmen, Sprachen und Konzepte für das WWW, WS 00/01, 2 SWS.


Kiehn :
Vorlesung: Nichtsequentielle Systeme und nebenläufige Systeme, WS 00/01, 4 SWS.
Übung: Nichtsequentielle Systeme und nebenläufige Systeme, WS 00/01, 2 SWS.
Proseminar: Algorithmen, Sprachen und Konzepte für das WWW, WS 00/01, 2 SWS.
Vorlesung: Zeitautomaten, SS 00, 2 SWS.
Proseminar: kryptographische Protokolle, SS 00, 2 SWS.
Seminar für überfachliche Grundlagen: Kognitive Psychologie, SS 00, 2 SWS.


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


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


Röckl :
Proseminar: Entwurf verteilter Programme, WS 99/00, 2 SWS.
Proseminar: Verteilte Algorithmen, SS 00, 2 SWS.


Römer :
Proseminar: Entwurf verteilter Programme, WS 99/00, 2 SWS.
Praktikum: Automatische Verifikation reaktiver Systeme, WS 99/00, 6 SWS.
Programmierpraktikum: Programmieren in Logik - Prolog, SS 00, 2 SWS.
Seminar für überfachliche Grundlagen: Kognitive Psychologie, SS 00, 2 SWS.
Proseminar: Verteilte Algorithmen, SS 00, 2 SWS.
Proseminar: Kryptographische Protokolle, SS 00, 2 SWS.
Programmierpraktikum: Programmieren in Logik - Prolog, WS 00/01, 2 SWS.
Praktikum: Automatische Verifikation reaktiver Systeme, WS 00/01, 6 SWS.
Proseminar: Behind the Screen - Konzepte und Algorithmen eines Texteditors, WS 00/01, 2 SWS.
Proseminar: Algorithmen, Sprachen und Konzepte für das WWW, WS 00/01, 2 SWS.


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


Schröter :
Praktikum: Automatische Verifikation reaktiver Systeme, WS 99/00, 6 SWS.
Proseminar: Entwurf verteilter Programme, WS 99/00, 2 SWS.
Proseminar: Kryptographische Protokolle, SS 00, 2 SWS.
Proseminar: Verteilte Algorithmen, SS 00, 2 SWS.
Praktikum: Automatische Verifikation reaktiver Systeme, WS 00/01, 6 SWS.
Proseminar: Algorithmen, Sprachen und Konzepte für das WWW, WS 00/01, 2 SWS.



next up previous contents
Next: 7 Sonstige Tätigkeiten Up: Tätigkeitsbericht 2000 Previous: 5 Vorträge
Felix Brandt, Mon Jun 25 15:32:09 MET DST 2001