Übersicht der Informatik IV Lehrveranstaltungen

Grundstudium

• Rechnerstrukturen Grundvorlesung (H. Krumm)

  040001	4 PV	Di	12.15-13.45	HG III/ HS 1
  		Do	14.15-16.00  	HG III/ HS 1
  

  Übungen (W. Knaup, zusammen mit Kohler/Stark)

  040002	2 PÜ	n.V.
  

Hauptstudium

Stammvorlesungen

Spezialvorlesungen

• Verteilte Algorithmen I Spezialvorlesung (H. Krumm)

  042461	2 V	 Mo 	12.15-13.45	HG I/HS 2
  

• 'Simulation' Wahlpflichtveranstaltungen für die Angewandte Informatik/ Spezialvorlesungen mit Übungen (H. Beilner)

  041083	4 V	Di	10.15-12.00  	GB V/ SR 420	
  		Do	14.15-16.00  	GB V/ SR 420
  

  Übungen (A. Rühl)

  041084	2 PÜ	n.V.
  

Seminare

• Spracherweiterungen, Sprachen, Umgebungen zur Unterstützung der Programmierung paralleler Architekturen (H. Beilner)

  044318 2 S 	n.V.
  

• Kompositionale Entwurfs- und Analysemethoden für verteilte Systeme (P. Herrmann)

  04???? 2 S 	n.V.
  

Projektgruppen

• Zeitbehaftete Prozeßalgebren - eine Modellwelt zur Analyse nebenläufiger Systeme under funktionalen und quantitativen Gesichtspunkten

  Projektgruppe 046251 (P. Buchholz / P. Kemper)

  Fortsetzung aus dem letzten Semester

• Effiziente Kombination von Fehlertoleranzverfahren

  Projektgruppe 046252 (K. Grans / M. Leu / A. Masum)

  Fortsetzung aus dem letzten Semester

• Simulation von Verkehrssystemen am Beispiel der H-Bahn der UniDo - Bewertung von Simulationswerkzeugen

  Projektgruppe 046256 (J. Mäter)

  Fortsetzung aus dem letzten Semester

Übungen zu Veranstaltungen des Grund- und Hauptstudiums

• Übungen zu: Künstliche Intelligenz (Fischer (LS II)/Mester/Lübeck)

  041066	2 	WÜ	n.V.
  

Besondere Veranstaltungen

• Seminar über Diplom- und Doktorarbeiten (Beilner/Echtle/Krumm)

  049041	2 OS	Mo 	14.00-16.00  	GB V/ SR 420	
  

• Betreuung von Diplomarbeiten (Beilner)

  049042	n.V.
  

• Betreuung von Diplomarbeiten (Krumm)

  049044	n.V.
  

• Betreuung von Diplomarbeiten (Echtle)

  049046	n.V.
  

• Betreuung von Diplomarbeiten durch wiss. Mitarbeiter/innen (N.N.)

  049131	n.V.