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

6 Vorlesungen und Seminare

Brauer:
Vorlesung: Einführung in die Informatik I, WS 95/96, 4SWS
Vorlesung: Einführung in die Informatik II, SS 96, 4SWS
Vorlesung: Berechenbarkeit und Entscheidbarkeit, WS 96/97, 3SWS
Oberseminar: Theoretische Informatik (mit Prof. Esparza, Prof. Mayr und Prof. Steger)

Brauer, Deco:
Vorlesung: Neuronale Netze, WS 95/96, 2SWS
Vorlesung: Informationsdynamik, SS 96, 2SWS

Brauer, Esparza:
Hauptseminar: Automaten mit unendlichen Abläufen, WS 96/97
Hauptseminar: Perlen der Theoretischen Informatik, WS 96/97
Hauptseminar: Fehlertoleranz in verteilten Systemen, SS 96

Brauer, Ruge, Scheler:
Vorlesung: Methoden der Sprachverarbeitung, WS 96/97, 2SWS

Deco:
Vorlesung: Lernende Systeme: Ein informationstheoretischer Zugang, WS96/97, 2SWS

Esparza:
Vorlesung: Berechenbarkeit und Entscheidbarkeit, 3SWS, WS 95/96
Vorlesung: Petrinetze, WS 95/96, 2SWS
Vorlesung: Nichtsequentielle Systeme, nebenläufige Prozesse, SS 96, 3SWS
Vorlesung: Petrinetze, WS 96/97, 2SWS
Vorlesung: Formale Sprachen und Automatentheorie, WS 96/97, 3SWS
Oberseminar: Theoretische Informatik (mit Prof. Brauer, Prof. Mayr und Prof. Steger)

Esparza, Römer:
Praktikum: Automatische Verifikation reaktiver Systeme, WS 96/97

Geiger:
Vorlesung: Grundlagen und praktische Anwendungen von neuronalen Netzen in der Industrie, SS 96, 2SWS

Hernández:
Vorlesung: Raumkognition: Repräsentation und Verarbeitung räumlichen Wissens, WS96/97, 2SWS

Hochreiter, Bartmann:
Praktikum: Methoden der KI: Neuronale Netze, WS 96/97

Hochreiter, Scheler, Sturm:
Seminar: Adaptive Systeme: Grundlagen neuronaler Netze, SS96, 2SWS

Kiehn:
Vorlesung: Prozeßalgebren, WS 95/96, 2SWS

Payer:
Vorlesung: Synthese und Verifikation digitaler Systeme, WS 95/96, 2SWS
Vorlesung: Synthese und Verifikation digitaler Systeme, SS 96, 2SWS

Rossmanith:
Vorlesung: Parallele Komplexitätstheorie, SS 96, 2SWS

Taubner:
Vorlesung: Software-Engineering, WS 95/96, 2 SWS


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

Gerhard Müller, Alexandra Musto, Mon Jul 21 21:46:51 MET DST 1997