GRUNDSTUDIUM 
















10.1.01	Informatik Ia (Programmierung) (VL, Ü)		Appelrath
	Dienstag   10 - 12, Hörsaal G
	Donnerstag 16 - 18, Hörsaal G
	Übungen						Bruns, Kamp
	Montag    8 - 10, Deus 108
	Montag   10 - 12, Deus 108 
	Montag   14 - 16, Deus 108
	Freitag   8 - 10, Deus 108
	Freitag  12 - 14, Deus 108
	Mittwoch 12 - 14, Deus 108

10.1.02	Programmierkurs Modula-2 (VL, Ü)		Henseler
	Mittwoch 16 - 18, Hörsaal G
	Übungen						Henseler
	nach Vereinbarung

10.1.03	Grundbegriffe der Theoretischen Informatik (VL, Ü)	Fleischhack
	Montag   8 - 10, Hörsaal G
	Dienstag 8 - 10, Hörsaal B
	Übungen						Bohn
	Montag   12 - 14, A4 2-221
	Montag   12 - 14, Deus 108
	Dienstag 10 - 12, Deus 108
	Dienstag 10 - 12, A4 2-221
	Mittwoch 10 - 12, Deus 108
	Mittwoch 14 - 16, Deus 108

10.1.04	Hardwarepraktikum (PR)				Mikschl, Wagner
	Montag - Freitag 14 - 18, A4 2-228

































	














HAUPTSTUDIUM 















	

	














THEORETISCHE INFORMATIK
















10.1.05	Programmverifikation (StammVL, Ü)		Schenke
	Montag   12 - 14, Hörsaal F
	Mittwoch 10 - 12, Hörsaal F
	Übungen						Kleuker
	Montag      8 - 10, A4 2-221
	Dienstag    8 - 10, A4 2-221
	Donnerstag 12 - 14, A4 2-221
	Freitag    12 - 14, A4 2-221
	Freitag    14 - 16, A4 2-221

10.1.06	Seminar Realzeitsysteme (SE)			Dietz, Fleischhack
	Block zum Semesterende

10.1.07	Theorie, Anwendungen und Implementierung von Petrinetzen (SE)
	(Diplomanden- und Doktorandenseminar)		Sonnenschein, Wilkeit
	Donnerstag 16 - 18, Deus 108 

	














PRAKTISCHE INFORMATIK
















10.1.08	Informationssysteme I (StammVL, Ü)		Jasper
	Donnerstag 16 - 18, Hörsaal F
	Freitag    10 - 12, Hörsaal G
	Übungen						Thoben, N.N.
	Dienstag   12 - 14, Deus 108
	Mittwoch   12 - 14, A4 2-221
	Donnerstag  8 - 10, Deus 108
	Donnerstag 10 - 12, Deus 108

10.1.09	Software-Engineering (StammVL, Ü)		Sonnenschein, Sauer
	Dienstag   16 - 18, Hörsaal F
	Donnerstag 12 - 14, A1 0-008
	Übungen						Sauer
	Mittwoch    8 - 10, Deus 108
	Donnerstag  8 - 10, A4 2-221
	Donnerstag 14 - 16, A4 2-221

10.1.10	Architektur und Implementierung von Datenbankmanagementsystemen (VL, Ü)	
							Jasper
	Montag 10 - 12, A4 2-221
	Übungen						Zukunft
	Mittwoch 18 - 20, Deus 108
	Freitag  10 - 12, A4 2-221

10.1.11	Algorithmen der Graphentheorie (VL)		Sampels
	Montag 14 - 16, A4 2-221

10.1.12	Seminar Nicht-Standard-Datenbanken (SE)		Appelrath, Kamp
	nach Vereinbarung

10.1.13	Seminar Breitbandnetze (SE)			Burke
	Dienstag 16 - 18, Deus 108

10.1.14	Fortsetzung Projektgruppe R/3-basierte betriebliche Informationssysteme (P)	
							Appelrath, Rump
	Dienstag 14 - 16, A3 2-209
	Freitag  13 - 16, A3 2-209

10.1.15	Projektgruppe Umgebung zur Simulation mittels THOR-Netzen (P)	
							Schöf, Sonnenschein, Wieting,Bartels
	Montag   16 - 18, Deus 108
	Mittwoch 16 - 18, Deus 108
	Freitag  14 - 16, Deus 108

10.1.16	Diplomanden- und Doktorandenseminar (SE)	Appelrath
	Donnerstag 14 - 16, A3 2-209

10.1.17	Diplomanden- und Doktorandenseminar (SE)	Kowalk, Sonnenschein
	Dienstag 14 - 16, Deus 108


	














TECHNISCHE INFORMATIK
















10.1.18	Entwurf integrierter Schaltungen (StammVL, Ü)	Nebel
	Dienstag 10 - 12, Hörsaal F
	Freitag  12 - 14, Hörsaal G	
	(Beginn der Vorlesung am Freitag, den 21.10.94)
	Übungen						Rabe
	Montag   16 - 18, A4 2-221
	Dienstag 16 - 18, A4 2-221
	Mittwoch 14 - 16, A4 2-221
	Freitag   8 - 10, A4 2-221

10.1.19	Multiprozessorsysteme (StammVL, Ü)		Damm
	Donnerstag 8 - 10, Hörsaal F
	Freitag    8 - 10, Hörsaal G
	Übungen						Korf
	Dienstag  8 - 10, Deus 108
	Dienstag 12 - 14, A4 2-221
	Dienstag 14 - 16, A4 2-221
	Freitag  10 - 12, Deus 108
	Freitag  16 - 18, A4 2-221


10.1.20	Formale Verifikationswerkzeuge für den Hardwareentwurf (SE)	Schlör, Pargmann, Hermann
	Montag 14 - 16, A3 2-209

10.1.21	Hybride Systeme (SE)				Josko
	Donnerstag 16 - 18, A3 2-209

10.1.22	Fortgeschrittenenpraktikum Entwurfs- und Validierungswerkzeuge für VHDL (PR)	
							Hermann
	Dienstag   14 - 16, A4 3-321
	Donnerstag 14 - 16, A4 3-321

10.1.23	Fortgeschrittenenpraktikum Entwurf eines Interface Controllers für schwach kohärente Caches (PR)
							Mikschl, Hermann
	nach Vereinbarung, A4 3-321

10.1.24	Fortgeschrittenenpraktikum ASIC-Entwurf (PR)	Josko, Schumacher
	nach Vereinbarung, A4 3-321

10.1.25	Fortsetzung Projektgruppe Verlustleistungsanalyse digitaler CMOS-Schaltungen (P)	
		Nebel, Rabe, Timmermann
	Montag   10 - 12, A3 2-209
	Mittwoch 16 - 18, A3 2-209

10.1.26	Diplomanden- und Doktorandenseminar (SE)	Nebel
	nach Vereinbarung

10.1.27	Diplomanden- und Doktorandenseminar (SE)	Damm
	Montag 8 - 10, A3 2-209


	














ANGEWANDTE INFORMATIK
















10.1.28	Wissensrepräsentation und Wissensverarbeitung (StammVL, Ü)	Möbus
	Dienstag   12 - 14, Hörsaal F
	Donnerstag 14 - 16, Hörsaal F
	Übungen						Pitschke
	Dienstag   18 - 20, A4 2-221
	Mittwoch   16 - 18, A4 2-221
	Mittwoch   18 - 20, A4 2-221
	Donnerstag 16 - 18, A4 2-221

10.1.29	Software- Ergonomie (VL, Ü)			Gorny
	Donnerstag 10 - 12, A4 2-221
	Übungen						Gorny
	Montag     18 - 20, A4 2-221
	Donnerstag 14 - 16, Deus 108

10.1.30	Seminar Probabilistisches Schließen und Kausalmodellierung (SE)	Möbus
	Freitag 10 - 12, A3 2-209

10.1.31 Seminar Einführung in Neuronale Netze (SE)                      Vogel
        Block zu Semesterende

10.1.32	Fortgeschrittenenpraktikum "Intelligente Tutorsysteme" (PR)	Möbus/Pitschke
	Mittwoch 10 - 12, A3 2-209

10.1.33	Projektgruppe Kooperatives Arbeiten in offenen Systemen (P)	Jensch, v. Gehlen, Barth
	Mittwoch 14 - 16, A4 2-217

10.1.34	Diplomanden- und Doktorandenseminar (SE)	Gorny
	Dienstag 16 - 18, A3 2-209

10.1.35	Diplomanden- und Doktorandenseminar (SE)	Möbus
	Montag 18 - 20, A3 2-209

10.1.36	Diplomanden- und Doktorandenseminar (SE)	Jensch
	Mittwoch 16 - 18, A4 2-217

10.1.37 Fuzzy-Theorie und qualitative Systeme (VL 2, Ü 2)
        Mittwoch 8 - 10, A 4 2-221                      Jensch
        Übungen
        Donnerstag 18 - 20, A 4 2-221                   N.N.


	














ALLGEMEINE VERANSTALTUNGEN
















10.1.38	Kolloquium des Fachbereichs Informatik (KO)	Lehrende der Informatik
	Montag 16 - 18, A3 2-209

10.1.39 Informatik und Gesellschaft (VL, Ü)		Pescheck-Schröder
	Mittwoch 14 - 16, Hörsaal F
	Übungen						Pescheck-Schröder
	Montag     18 - 20, Deus 108
	Dienstag   18 - 20, Deus 108
	Donnerstag 12 - 14, Deus 108
	Donnerstag 18 - 20, Deus 108
	Donnerstag 18 - 20, A4 2-221



	














FÜR HÖRER ANDERER FACHRICHTUNGEN
















10.1.40	Informatik für Sozialwissenschaften (VL, Ü)	Bölke
	Mittwoch 10 - 12, A4 2-221
	Begrenzte Teilnehmerzahl; Eintragung in Teilnehmerliste ab 16.9.94
	am Informatikbrett A3, 2. Etage
	Übungen						Bölke
	siehe Aushang