GRUNDSTUDIUM
10.1.01 Informatik I b (Datenstrukturen) (VL, Ü) Appelrath/Henseler
Dienstag 10 - 12, HS G
Donnerstag 14 - 16, HS G
Übungen Bruns/Wietek
Montag 10 - 12, Deus 108
Montag 16 - 18, Deus 108
Montag 18 - 20, A4 2-221
Mittwoch 14 - 16, Deus 108
10.1.02 Logik (VL, Ü) Fleischhack
Montag 8 - 10, HS G
Mittwoch 8 - 10, HS F
Übungen Dietz/Reineke
Donnerstag 14 - 16, Deus 108
Freitag 10 - 12, A4 2-221, Deus 108
Freitag 12 - 14, A4 2-221
10.1.03 Rechnerstrukturen (VL, Ü) Nebel
Dienstag 14 - 16, HS F
Donnerstag 10 - 12, HS B
Übungen Timmermann
Montag 12 - 14, Deus 108
Montag 14 - 16, Deus 108
Montag 16 - 18, A4 2-221
Montag 18 - 20, Deus 108
10.1.04 Grundbegriffe der Praktischen Informatik (VL, Ü)Jasper/Kowalk
Montag 14 - 16, HS B
Freitag 8 - 10, HS G
Übungen Behrends/Rettig/Risau
Dienstag 14 - 16, Deus 108
Dienstag 16 - 18, Deus 108
Mittwoch 8 - 10, Deus 108
Mittwoch 10 - 12, Deus 108
Mittwoch 12 - 14, Deus 108
8.1.98 Physikalische und elektrotechnische Grundlagen der Informatik (VL, Ü)
Mellert
Dienstag 16 - 18, W1 0-015
Donnerstag 16 - 17, W3 1-161
Übungen Mellert
Montag 8 - 10, W2 1-156
Donnerstag 8 - 10, W2 1-156, W2 1-125
Freitag 8 - 10, W2 1-156, W2 1-125
10.1.05 Software-Praktikum Prolog (PR) Sauer
Montag 10 - 12, HS G
Dienstag 12 - 14, HS B
Übungen
siehe Aushang
10.1.06 Software-Praktikum Modula-2 (PR) Rump/Sauer
Montag 10 - 12, HS G
Dienstag 12 - 14, HS B
Übungen
siehe Aushang
HAUPTSTUDIUM
Theoretische Informatik
10.1.07 Semantik, Spezifikation und Transformation kommunizierender
Systeme (VL, Ü) Olderog/Rössig
Dienstag 14 - 16, A4 2-221
Donnerstag 8 - 10, A4 2-221
Übungen Kleuker/Olderog
Mittwoch 14 - 16, A4 2-221
Mittwoch 16 - 18, A4 2-221
10.1.08 Kategorientheorie und Anwendungen in der Informatik (VL, Ü)
Fleischhack/Wilkeit
Montag 10 - 12, A3 2-209
Mittwoch 12 - 14, A4 2-221(14täglich)
Übungen Fleischhack/Wilkeit
Mittwoch 12 - 14, A4 2-221(14täglich)
10.1.09 Modale Logik (VL) Schenke
Montag 14 - 16, A4 2-221
10.1.10 Fortgeschrittenenpraktikum Bohn/Rössig
Rechnergestützte Programmtransformation (PR)
n. V.
10.1.11 Diplomanden- und Doktorandenseminar (SE) Olderog
Mittwoch 10 - 12, A3 2-209
Praktische Informatik
10.1.12 Rechnernetze I (VL, Ü) Kowalk
Stammvorlesung
Dienstag 16 - 18, HS F
Mittwoch 10 - 12, HS F
Übungen Burke
Mittwoch 16 - 18, Deus 108
Donnerstag 8 - 10, Deus 108
Donnerstag 10 - 12, Deus 108
Donnerstag 12 - 14, Deus 108
10.1.13 Objektorientierte Programmierung (VL, Ü) Götze
Freitag 10 - 12, HS F
Übungen Boles
Dienstag 16 - 18, A4 2-221
10.1.14 Programmierung nebenläufiger Systeme (VL, Ü) Sonnenschein
1. Vorlesungswoche:
Dienstag 8 - 10, A4 2-221
Donnerstag 16 - 18, A4 2-221
ab 2. Vorlesungswoche:
Dienstag 8 - 10, A4 2-221
Donnerstag 12 - 14, A4 2-221 (14täglich)
Übungen Sampels
Donnerstag 12 - 14, A4 2-221 (14täglich)
10.1.15 Redevelopment - Reengineering - Reuse (VL) Müller
Freitag 14 - 18, A4 2-221 (14täglich)
10.1.16 Seminar Zeitgetreue Modellierungstechniken (SE) Kowalk
(Blockseminar, siehe Aushang)
10.1.17 Seminar Modellbildung und Analyse (SE) Lorek/Sampels/
(Blockveranstaltung am Ende der Vorlesungszeit) Sonnenschein
10.1.18 Projektgruppe Mehrbenutzerfähige aktive DB-Systeme (P)
Zukunft/Jasper
Dienstag 8 - 10, OFFIS E 47
Donnerstag 14 - 18, OFFIS E 47
Freitag 10 - 12, OFFIS E 47
10.1.19 Projektgruppe Umweltinformationssysteme (P) Kamp/Thoben
Montag 10 - 12, OFFIS E 47
Mittwoch 14 - 18, OFFIS E 47
Donnerstag 8 - 10, OFFIS E 47
10.1.20 Fortsetzung Projektgruppe Bartels/Schöf/
Umgebung zur Simulation mittels THOR Netzen (P) Sonnenschein/Wieting
Montag 8 - 10, OFFIS E 47
Mittwoch 8 - 10, OFFIS E 47
Freitag 14 - 16, OFFIS E 47
10.1.21 Diplomanden- und Doktorandenseminar (SE) Appelrath
Freitag 12 - 14, OFFIS E 47
10.1.22 Diplomanden- und Doktorandenseminar (SE) Kowalk/Sonnenschein
Dienstag 10 - 12, OFFIS E 47
Technische Informatik
10.1.23 Multiprozessorsysteme II (VL, Ü) Damm
Freitag 8 - 10, A4 2-221
Übungen Korf
Dienstag 8 - 10, Deus 108
Dienstag 12 - 14, Deus 108
10.1.24 Hardware-Beschreibungssprachen (VL, Ü) Nebel
Donnerstag 14 - 16, A4 2-221
Übungen Schumacher
Dienstag 12 - 14, A4 2-221
10.1.25 Automatische Verifikationsmethoden (VL) Hungar
Dienstag 12 - 14, A3 2-209
10.1.26 Spezifikationsmethoden für den Hardware Entwurf (VL, Ü) Josko
1. Vorlesungswoche:
Donnerstag 12 - 14, A4 2-221
ab 2. Vorlesungswoche:
Donnerstag 16 - 18, A4 2-221
Übungen Pargmann
Freitag 8 - 10, Deus 108
10.1.27 Seminar Spezifikation und Verifikation von Realzeitsystemen (SE)
Herrmann/Schlör
Donnerstag 8 - 10, A3 2-209
10.1.28 Seminar Hardware-Modellierung und Synthese (SE) Rabe/Schumacher/
Montag 14 - 16, A3 2-209 Timmermann
10.1.29 Seminar Peikenkamp/Damm
Optimierungstechniken im Compilerbau für deklarative Sprachen (SE)
Donnerstag 16 - 18, A3 2-209
10.1.30 Fortgeschrittenenpraktikum Mikschl/Herrmann
Entwurf und VLSI Implementierung eines Cache Controllers (PR)
Dienstag 14 - 18, A4 2-227 (Design Tool Labor)
10.1.31 Projektgruppe Objektorientierte Hardware-Spezifikation (P)
Nebel/Schumacher
Dienstag 10 - 12, A3 2-209
10.1.32 Diplomanden- und Doktorandenseminar (SE) Damm
Montag 8 - 10, A3 2-209
10.1.33 Diplomanden- und Doktorandenseminar (SE) Nebel
Mittwoch 8 - 10, A3 2-209
Angewandte Informatik
10.1.34 Generative Grafische Datenverarbeitung (VL, Ü) Gorny/I. Pitschke
Stammvorlesung
Dienstag 10 - 12, A4 2-221
Donnerstag 10 - 12, A4 2-221
Übungen Donker
Dienstag 18 - 20, A4 2-221
Mittwoch 10 - 12, A4 2-221
Mittwoch 18 - 20, A4 2-221
10.1.35 Mathematische Morphologie (VL, Ü) Jensch
Mittwoch 8 - 10, A4 2-221
Übungen Otte
Donnerstag 18 - 20, A4 2-221
10.1.36 Seminar Erklärungen in interaktiven Systemen (SE)Schröder/K. Pitschke
Freitag 10 - 12, A3 2-209
10.1.37 Seminar Neuronale Netze (SE) Vogel
Donnerstag 10 - 12, A3 2-209
10.1.38 Fortgeschrittenenpraktikum Intelligente Tutorsysteme (PR)
K. Pitschke/Schröder
Mittwoch 10 - 12, A4 2-217
10.1.39 Fortgeschrittenenpraktikum Gorny/Daldrup
Methodische Entwicklung von Benutzungsoberflächen (PR)
Donnerstag 14 - 16, A3 2-209
10.1.40 Fortsetzung Projektgruppe Barth/von Gehlen/
Kooperatives Arbeiten in offenen Systemen (P) Jensch
n. V.
10.1.41 Diplomanden- und Doktorandenseminar (SE) Gorny
Dienstag 16 - 18, A3 2-209
10.1.42 Diplomanden- und Doktorandenseminar (SE) Jensch
Dienstag 14 - 16, A3 2-209
Allgemeine Veranstaltungen
10.1.43 Kolloquium des Fachbereichs Informatik (KO) Lehrende der Informatik
Montag 16 - 18, A3 2-209
10.1.44 Didaktik der Informatik (VL, Ü) Schwill
Montag 10 - 12, A4 2-221
Übungen Schwill
Montag 12 - 14, A4 2-221
10.1.45 Seminar Wissenschaftliches Arbeiten (SE) Appelrath
n. V. (siehe Aushang)
Für Hörer anderer Fachrichtungen
10.1.46 Informatik für Sozialwissenschaften (VL, Ü) Bölke
(Blockveranstaltung vom 11.9.-22.9.1995)
Begrenzte Teilnehmerzahl
Eintragung in Teilnehmerliste ab 1.7.95
am Informatikbrett A3, 2. Etage
Übungen Bölke
siehe Aushang
10.1.47 Informatik für Naturwissenschaften II (VL, Ü) Jensch
Dienstag 16 - 19, W2 1-125
Übungen von Gehlen
n.V.
|
