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

6 Vorlesungen und Seminare

Brauer:
Vorlesung: Berechenbarkeit und Entscheidbarkeit, WS 96/97, 3SWS
Vorlesung: Fuzzy Logik, WS 97/98, 2SWS
Vorlesung: Informatik II, Zusatzausbildung für Gymnasiallehrer, März/April 97, 4SWS
Oberseminar: KI/Kognition (mit Weiß, Schlieder)
Oberseminar: Theoretische Informatik (mit Prof. Esparza, Prof. Mayr und Prof. Steger)

Brauer, Eisenkolb, Hernández, Musto, Schill:
Hauptseminar: Bewegung im Raum: Kognitions- und Modellierungsaspekte, WS 96/97

Brauer, Esparza:
Hauptseminar: Automaten mit unendlichen Abläufen, WS 96/97
Hauptseminar: Perlen der Theoretischen Informatik, WS 96/97

Brauer, Esparza, Kiehn, Mayr, Melzer, Menden, Röckl, Römer, Rossmanith, Wallner:
Hauptseminar: Algorithmen für die Molekularbiologie, SS 97
Hauptseminar: Quanteninformatik, WS 97/98
Proseminar: Verteilte Algorithmen, WS 97/98

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

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

Brauer, Weiß:
Vorlesung: Verteilte KI, SS 97, 2 SWS.

Deco:
Vorlesung: Lernende Systeme: Ein informationstheoretischer Zugang, WS96/97, 2SWS
Vorlesung: Informationsdynamik: Zeitreihenanalyse, SS97, 2SWS
Vorlesung: Neuronale Netze, WS 97/98, 2SWS

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

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

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

Geiger:
Vorlesung: Grundlagen und praktische Anwendungen von neuronalen Netzen in der Industrie, SS 97, 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

Kirchmair, Bartmann:
Praktikum: Methoden der KI: Neuronale Netze, WS 97/98

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

Rossmanith:
Vorlesung: Analyse von Algorithmen, WS 97/98, 2SWS

Ruge:
Proseminar: Formales Handwerkszeug fuer Linguisten, SS97, LMU, 2 SWS

Taubner:
Vorlesung: Werkzeuge und Methoden für Software-Engineering, WS 96/97, 2 SWS


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

Alexandra Musto, Fri Jun 26 15:46:55 MET DST 1998