Humboldt-Universität zu Berlin, Institut für Informatik

---

Kommentiertes Vorlesungsverzeichnis WS 1995/96

Hauptstudium: Seminare und Spezialvorlesungen

Projektseminar am Lehrstuhl Systemanalyse
SE  Di  14-16   LN 54, 014  J. Fischer

Projektseminar FOCS
SE  Mo  12-14   LN 54, 014  B. Burkhard/
                    J.-P. Redlich

Diplomandenseminar am Lehrstuhl für Theorie der Programmierung
SE  Mo  14-16   LN 54, 120  W. Reisig

Verteilte Algorithmen
SE  Di  10-12   LN 54, 016  E. Kindler

Softwaretechnik
SE  Do  12-14   LN 54, 014  K. Bothe/
                    U. Sacklowski

Kooperatives Prototyping
SE  Do  14-16   LN 54, 016  Chr. Dahme

Parallele Algorithmen
SE  Do  10-12   LN 54, 015  H.-J. Prömel/ 
                    S. Hougardy

Datensicherung und Datensicherheit
SE  Mo  14-16   LN 54, 014  E.-G. Giessmann

Entwurf von Echtzeitsystemen
SE  Do  08-10   LN 54, 016  E. Holz

Weiterentwicklung von SDL
SE  Mi  12-14   LN 54, 005  A. Prinz

Verteilte Systeme: CORBA
SE  Fr  12-14   LN 54, 015  J.-P. Redlich

Management
SE  Di  12-14   LN 54, 014  B. Burkhard

Aspekte der Systemadministration
SE  Mi  14-16   LN 54, 013  J.-P. Bell

Objective C und objektorientierte Oberflächen
SE  Di  14-16   LN 54, 013  Chr. Polze

Künstliche Intelligenz durch PROLOG
SE  Do  10-12   LN 54, 016  W. Heitsch

Kognitive Modelle in der Künstlichen Intelligenz
SE  Mi  08-10   LN 54, 016  M. Lenz

Maschinelles Lernen
SE  Fr  10-12   LN 54, 016  M. Lenz

Intelligente Kommunikationssysteme in der Medizin
SE  Mo  12-14   LN 54, 016  H.-D. Burkhard/
                    G. Lindemann-
                       v. Trzebiatowski

Modellierung und Analyse nebenläufiger Echtzeitsysteme
SE  Mi  10-12   LN 54, 015  L. Popova-Zeugmann

Technische Entrepreneurship
SE  Mi  16-18   LN 54, 013  M. Malek

Betriebssystemunterstützung für Multicomputer - 
Interna aktueller Microkernel-Betriebssysteme - 
Mach, Chorus, Amoeba
SE  Di  08-10   LN 54, 013  A. Polze

Spezielle Probleme der Mustererkennung
SE  Do  14-16   LN 54, 013  B. Meffert

Künstliche Intelligenz durch PROLOG
VL  Mi  12-14   LN 54, 014  W. Heitsch

Neuronale Netze und Mustererkennung
VL  Do  10-12   LN 54, 013  K. Müller

Informatik - Maschinisierung von Kopfarbeit
    Mo  16-18   LN 54, 015  M. Weber

---

HaPe, erstellt am 30-08-95, zuletzt geändert am 30-08-95