Jahresbericht 1995

4. Lehrveranstaltungen

Sommersemester 1995

Grundstudium

Diplom-Studiengang

Vorlesung	4 Std. J. Fischer
Übungen 6 Std. A. Prinz/E. Holz

Mathematik II

Vorlesung	4 Std. J. Hauck
Übungen	6 Std. J. Hauck/B. Mitulla

Technische Informatik I (fakultativ)

Praktikum	2 Std. G. Voigt/M. Günther

4. Semester

Vorlesung	4 Std. M. Malek
Übungen	6 Std. A. Polze/S. Sommer/D. Neumann

Berechnungstheorie II

Vorlesung	2 Std. E. -G. Giessmann
Übungen 6 Std. S. Hougardy

Algebra III

Vorlesung	2 Std. H. Grassmann
Übungen	6 Std. K. Neuendorf

Analysis/Numerik IV

Vorlesung	4 Std. B. Kummer
Übungen	6 Std. H. Damm

Proseminare

Internet-Dienste und ihre Realisierung	2 Std. B. Burkhard
Syntaxtheorie	2 Std. L. Popova-Zeugmann

Formale Programmentwicklung	2 Std. K. Schmidt
Grundlagen der Künstlichen Intelligenz	2 Std. H. Burkhard/R. Kühnel

Lehramt

Vorlesung	4 Std. J. Fischer
Übungen	2 Std. A. Prinz

Mathematik II

Vorlesung	4 Std. J. Hauck
Übungen	6 Std. J. Hauck/B. Mitulla

Rechnerorganisation/Betriebssysteme II

Vorlesung	2 Std. D. Hammer
Übungen	2 Std. S. Sommer

Analyse/Planung und Beurteilung von Informatikunterricht

Vorlesung/
Seminar	2 Std. A. Köhler-Krützfeld

Grundkurs zur Fachdidaktik Informatik

Vorlesung/
Seminar	n. V. C. Dahme

Magister/Nebenfach

Vorlesung	4 Std. J. Fischer
Übungen	2 Std. A. Prinz

Rechnerorganisation/Betriebssysteme II (fakultativ)

Vorlesung	2 Std. D. Hammer
Übungen	2 Std. S. Sommer

Hauptstudium

Diplom-Studiengang

Softwarearchitektur: UNIX (Teil II)

Vorlesung	4 Std. C. Polze/J. -P. Redlich

Kooperatives Prototyping (Halbkurs)

Vorlesung	4 Std. C. Dahme

Objektorientierte Spezifikation (Halbkurs)

Vorlesung	4 Std. J. Fischer

Programmverifikation (Halbkurs)

Vorlesung	2 Std. W. Reisig
Übungen	2 Std. W. Reisig/J. Desel

Systematischer Programmtest (Halbkurs)

Vorlesung	2 Std. B. Hohberg
Übungen	2 Std. B. Hohberg/J. Desel

Objektorientierter Entwurf/Objektorientierte Analyse

(Halbkurs; Kurs Teil II zu C+)

Vorlesung	4 Std. E. Holz
	

Grundlagen von Datenbanksystemen (Halbkurs)

Vorlesung	4 Std. J. -C. Freytag
Praktikum	4 Std. U. Jaeger/M. Stillger

Datenstrukturen und Algorithmen (Halbkurs)

Vorlesung	4 Std. J. Obermaier

Funktionale Programmierung (Halbkurs)

Vorlesung	4 Std. K. Bothe

Theorie und Simulation neuronaler Netze (Halbkurs)

Vorlesung	4 Std. H. -W. Pohl/M. Besch

Werkzeuge der empirischen Forschung (Halbkurs)

Vorlesung	4 Std. E. Rödel
Praktikum	n. V. K. Dohmen

Theoretische Informatik

Petri-Netze Vertiefung (Halbkurs)

Vorlesung	4 Std. P. Starke

Algebraische Spezifikation/Formale Sprachen (Halbkurs)

Vorlesung	4 Std. E. Kindler/J. Desel

Algorithmische Graphentheorie (Kurs Teil II)

Vorlesung	4 Std. H. J. Prömel
Übungen	4 Std. B. Kreuter

Technische Informatik

Grundlagen der Signalverarbeitung (SV 1; Halbkurs)

Vorlesung	2 Std. B. Meffert
Übungen	2 Std. O. Hochmuth
Praktikum	4 Std. O. Hochmuth

Bildverarbeitung (SV 3; Halbkurs)

Vorlesung	2 Std. B. Meffert
Praktikum	4 Std. O. Hochmuth

Hardware der Signalverarbeitung (Halbkurs)

Vorlesung	2 Std. G. Kell
Übungen	2 Std. G. Kell

Fehlertolerante Systeme (Halbkurs - Teil II)

Vorlesung	2 Std. D. Hammer

Softcomputing und Robotik (Halbkurs bzw. Kurs, Teil 1)

Vorlesung	4 Std. W. Weller

Rechnen in parallelen und verteilten Systemen (Halbkurs)

Vorlesung	4 Std. A. Polze

Wahlpflichtfach

Elektronik II

Vorlesung	2 Std. F. Winkler
Übung	2 Std. F. Winkler
Praktikum	n. V. G. Kell/F. Winkler

Seminare und Spezialvorlesungen

Projektseminar am Lehrstuhl Systemanalyse

2 Std. J. Fischer

Fallbasiertes Schließen

2 Std. G. Lindemann - v. Trzebiatowski

Intelligente verteilte Systeme:

Diagnoseunterstützung im medizinischen Bereich

2 Std. H. -D. Burkhard/	G. Lindemann-v. Trzebiatowski/R. Kühnel

Wissensrepräsentation & Inferenz

2 Std. W. Heitsch

Approximative und randomisierte Algorithmen

2 Std. H. -J. Prömel/S. Hougardy/B. Kreuter

Zeitbewertete Petrinetze

2 Std. L. Popova-Zeugmann

Simulated Annealing

2 Std. E. Rödel

Markoff-Modelle für Algorithmen

2 Std. K. Dohmen

Heterogene Datenbanksysteme und Interoperabilität

	2 Std. J. -C. Freytag/
	U. Jaeger/J. Obermaier/
	H. Stillger

Algorithmen zum wechselseitigen Ausschluß

2 Std. E. Kindler/R. Walter

Softwaretechnik:

Das CASE-Tool MAESTRO II

2 Std. K. Bothe/U. Sacklowski

Spezielle Probleme der Bildverarbeitung

2 Std. B. Meffert

Wissensrepräsentation & Inferenz

2 Std. W. Heitsch

Lehramt

Wahlpflichtbereich II (Praktische Informatik)

Grundlagen von Datenbanksystemen

Vorlesung	4 Std. J. -C. Freytag
Praktikum	4 Std. U. Jaeger/M. Stillger

Wahlpflichtbereich III (Technische oder systembezogene Informatik)

Grundlagen der Signalverarbeitung - SV 1

Vorlesung	2 Std. B. Meffert
Übungen	2 Std. O. Hochmuth

Praktikum	4 Std. O. Hochmuth

Bildverarbeitung - SV 3

Vorlesung	2 Std. B. Meffert
Praktikum	4 Std. O. Hochmuth

Softcomputing und Robotik

Vorlesung	4 Std. W. Weller

Fachdidaktik

Vorlesung/Seminar	2 Std. A. Köhler-Krützfeld

Magister/Nebenfach

Pflichtfächer

Werkzeuge der empirischen Forschung

Vorlesung	4 Std. E. Rödel
Praktikum	n. V. K. Dohmen

Grundlagen der Signalverarbeitung (SV 1)

Vorlesung	2 Std. B. Meffert
Übungen	2 Std. O. Hochmuth
Praktikum	4 Std. O. Hochmuth

Wahlpflichtfächer

Angewandte und Praktische Informatik: Funktionale Programmierung

Vorlesung 4 Std. K. Bothe

Softwaretechnik: Das CASE-Tool MAESTRO II

Praktikum	2 Std. K. Bothe/U. Sacklowski

Technische Informatik: Bildverarbeitung

Vorlesung	2 Std. B. Meffert
Praktikum	4 Std. O. Hochmuth

Forschungsseminare, 2stündig

Geleitet von: 
	H.-D. Burkhard, 
	J. Fischer, 
	J.-Chr. Freytag, 
	M. Malek, 
	B. Meffert, 

	Chr. Polze, 
	H. J. Prömel, 
	W. Reisig, 
	E. Rödel, 
	P. Starke

Lehrerfortbildung

Wahlpflichtunterricht Informatik (Einjahreskurs)

Algorithmen und Programmierung II

Vorlesung	2 Std. G. Paulin
Übungen	2 Std. G. Paulin

Rechnerorganisation/Betriebssysteme II

Vorlesung	2 Std. D. Neumann

Lehrerfortbildung (Dreijahreskurs; 4. Semester)

Programmierung III

Vorlesung	2 Std. G. Paulin	

Übungen	2 Std. G. Paulin

Einführung in die Künstliche Intelligenz/Funktionale und log. Programmierung

Vorlesung/Übung	2 Std. G. Lindemann-v.-Trzebiatowski

Informatik in der Schule

Vorlesung/Seminar	2 Std. C. Dahme

Wintersemester 1995/96

Grundstudium

Diplom-Studiengang

1. Semester

Praktische Informatik II

Vorlesung	4 Std. J. -C. Freytag/J. Obermaier
Übungen 6 Std. M. Stillger/U. Jaeger

Theoretische Informatik I (Logik)

Vorlesung	4 Std. P. Starke
Übungen	6 Std. K. Schmidt/L. Popova-Zeugmann

Informatik und Gesellschaft

Vorlesung	2 Std. C. Dahme

Mathematik I

Vorlesung	4 Std. H. Grassmann

Übungen	6 Std. C. Dürr

3. Semester

Praktische Informatik III (Compilerbau)

Vorlesung	4 Std. K. Bothe
Übungen	6 Std. D. Schulz/J. Wendler

Technische Informatik I

Vorlesung	2 Std. F. Winkler
Übungen	6 Std. M. Günther/F. Winkler

Theoretische Informatik II (Berechnungstheorie I)

Vorlesung	4 Std. H. -J. Prömel
Übungen	3 Std. B. Kreuter

Mathematik III

Vorlesung	2 Std. J. Hauck	
Übungen	6 Std. J. Hauck	

Proseminare

Algorithmen und Komplexität	2 Std. H. -J. Prömel/S. Hougardy
Expertensysteme	2 Std. G. Lindemann-von-Trzebiatowski
Technische Entrepreneurship	2 Std. M. Malek
Algorithmen und Berechenbarkeit	2 Std. E. Smith
Unix für Anfänger	2 Std. C. Polze
Physikalisch-technische Grundlagen	
für Informatiker	4 Std. G. Voigt	
Autonomes LINUX-Seminar	2 Std. H. Böhme
Informatik - Maschinisierung von
Kopfarbeit (Projekttutorium) 2 Std. M. Weber

Lehramt

Praktische Informatik I

Vorlesung	4 Std. J.-C. Freytag/J. Obermaier

Übungen	2 Std. U. Jaeger

Mathematik I

Vorlesung	4 Std. H. Grassmann
Übungen	6 Std. C. Dürr

Technische Informatik

Vorlesung	2 Std. D. Hammer
Übungen	2 Std. D. Neumann

Theoretische Informatik

Vorlesung	2 Std. P. Starke

Einführung in die Fachdidaktik

Vorlesung/
Seminar	2 Std. A. Köhler-Krützfeld

Magister/Haupt- (M) und Nebenfach (N)

Praktische Informatik I (M und N)

Vorlesung	4 Std. J. -C. Freytag/J. Obermaier
Übungen	2 Std. U. Jaeger

Technische Informatik (N)

Vorlesung	2 Std. D. Hammer
Übungen	2 Std. D. Neumann

Theoretische Informatik I (Logik) (M)

Vorlesung	4 Std. P. Starke
Übungen	6 Std. K. Schmidt/L. Popova-Zeugmann

Mathematik I (M)

Vorlesung	4 Std. H. Grassmann
Übungen	6 Std. C. Dürr

Hauptstudium

Diplom-Studiengang

Softwaretechnik

Software-Architektur: UNIX-Kurs (Teil I)

Vorlesung	4 Std. C. Polze/J. -P. Bell

Objektorientierte Prozeßsimulation (Halbkurs)

Vorlesung	4 Std. J. Fischer

C++ (Halbkurs)

Vorlesung	2 Std. K. Ahrens

Codeoptimierung (Halbkurs)

Vorlesung	4 Std. F. Müller

Wissensverarbeitung, Datenbanken und Datenanalyse

Grundlagen von Datenbanksystemen (Halbkurs)

Vorlesung	4 Std. J. -Chr. Freytag

Einführung in die Künstliche Intelligenz (Halbkurs)

Vorlesung	4 Std. H. -D. Burkhard

Theoretische Informatik

Theorie der Programmierung (Halbkurs)

Vorlesung	2 Std. E. Kindler

Prozeßalgebra

Vorlesung	2 Std. B. Hohberg

Verteilte Algorithmen (Halbkurs)

Vorlesung	4 Std. W. Reisig

Übungen	2 Std. W. Reisig

Kryptologie: Entwurf und Analyse (Halbkurs)

Vorlesung	4 Std. E. -G. Giessmann

Komplexität Boolescher Funktionen/Matching Algorithmen (Halbkurs)

Vorlesung	4 Std. A. Srivastav/S. Hougardy

Automatentheorie/Theorie der Programmiersprachen

Vorlesung	4 Std. P. Starke/K. Schmidt

Komplexitätstheorie

Vorlesung	4 Std. E. Smith

Technische Informatik

Mustererkennung (SV 2; Halbkurs)

Vorlesung	2 Std. B. Meffert
Übungen	2 Std. B. Meffert/O. Hochmuth
Praktikum	8 Std. O. Hochmuth

Hardware der Signalverarbeitung (Halbkurs)

Vorlesung	2 Std. G. Kell
Übungen	2 Std. F. Winkler

Vorlesung	4 Std. M. Malek

Softcomputing II/Industrielle Informationstechnik

(Halbkurs oder Kurs, Teil 2)

Vorlesung	4 Std. W. Weller

Übungen	2 Std. W. Weller

Mathematisches Ergänzungsfach

Qualitätskontrolle und Zuverlässigkeitsanalyse

Vorlesung	4 Std. G. Härtig

Übungen	2 Std. M. Ritschke

Stochastik

Vorlesung	4 Std. K. Dohmen

Wahlpflichtfach

Optoelektronik I

Vorlesung	2 Std. W. Glaser

Übungen	2 Std. D. Schilder

Seminare und Spezialvorlesungen

Projektseminar am Lehrstuhl Systemanalyse	2 Std. J. Fischer
Projektseminar FOCS	2 Std. B. Burkhard/
	J.-P. Redlich
Diplomandenseminar am Lehrstuhl
für Theorie der Programmierung	2 Std. W. Reisig
Verteilte Algorithmen	2 Std. E. Kindler
Softwaretechnik	2 Std. K. Bothe/U. Sacklowski
Kooperatives Prototyping	2 Std. C. Dahme
Parallele Algorithmen	2 Std. H. -J. Prömel/	S. Hougardy
Datensicherung und Datensicherheit	2 Std. E. -G. Giessmann
Entwurf von Echtzeitsystemen	2 Std. E. Holz
Weiterentwicklung von SDL	2 Std. A. Prinz
Verteilte Systeme: COBRA	2 Std. J. -P. Redlich
Management	2 Std. B. Burkhard
Aspekte der Systemadministration	2 Std. J. -P. Bell
Objective C und objektorientierte
Oberflächen	2 Std. C. Polze
Künstliche Intelligenz durch PROLOG	2 Std. W. Heitsch
Kognitive Modelle in der Künstlichen
Intelligenz	2 Std. M. Lenz
Maschinelles Lernen	2 Std. M. Lenz
Intelligente Kommunikationssysteme
in der Medizin	2 Std. H. -D. Burkhard/
	G. Lindemann-v. -Trzebiatowski
Modellierung und Analyse nebenläufiger
Echtzeitsysteme	2 Std. L. Popova-Zeugmann
Technische Entrepreneurship	2. Std. M. Malek
Betriebssystemunterstützung für
Multicomputer - Interna aktueller
Microkernel-Betriebssysteme -
Mach, Chorus, Amoeba	2 Std. A. Polze
Spezielle Probleme der Mustererkennung	2 Std. B. Meffert
Formale Sprachen und Chomsky-Hierarchie	2 Std. E. Smith
Künstliche Intelligenz durch PROLOG	2 Std. W. Heitsch
Neuronale Netze und Mustererkennung	2 Std. K. Müller
Informatik - Maschinisierung von Kopfarbeit
(Projekttutorium, fak.) 2 Std. M. Weber

Studium generale

Einführung in den Umweltschutz

Vorlesung	2 Std. G. Härtig

Einführung in die Informatik am Beispiel des Macintosh

Vorlesung	2 Std. C. Dahme
Übungen	n. V. C. Dahme

Lehramt

Wahlpflichtbereich II (Praktische Informatik)

C++(Halbkurs)

Vorlesung	2 Std. K. Ahrens

Grundlagen von Datenbanksystemen

Vorlesung	4 Std. J. -Chr. Freytag

Einführung in die Künstliche Intelligenz (Halbkurs)

Vorlesung	4 Std. H. -D. Burkhard

Wahlpflichtbereich III (Theoretische Informatik)

Verteilte Algorithmen (Halbkurs)

Vorlesung	4 Std. W. Reisig
Übungen	2 Std. W. Reisig

Kryptologie: Entwurf und Analyse (Halbkurs)

Vorlesung	4 Std. E. -G. Giessmann

Komplexitätstheorie

Vorlesung	4 Std. E. Smith

Wahlpflichtbereich IV (Technische oder systembezogene Informatik)

Softcomputing II (Halbkurs oder Kurs, Teil 2)

Vorlesung	2 Std. W. Weller

Übungen	2 Std. W. Weller

Industrielle Informationstechnik

Vorlesung	2 Std. W. Weller

Fachdidaktik

Vorlesung/Seminar	2 Std. A. Köhler-Krützfeld

Magister/Nebenfach

Objektorientierte Prozeßsimulation (Halbkurs)

Vorlesung	4 Std. J. Fischer

C++ (Halbkurs)

Vorlesung	2 Std. K. Ahrens

Grundlagen von Datenbanksystemen

Vorlesung	4 Std. J. -C. Freytag

Einführung in die Künstliche Intelligenz (Halbkurs)

Vorlesung	4 Std. H. -D. Burkhard

Theoretische Informatik

Semantik von Programmiersprachen

Vorlesung	2 Std. E. Kindler

Prozeßalgebra

Vorlesung	2 Std. B. Hohberg

Verteilte Algorithmen (Halbkurs)

Vorlesung	4 Std. W. Reisig

Übungen	2 Std. W. Reisig

Kryptologie: Entwurf und Analyse (Halbkurs)

Vorlesung	4 Std. E. -G. Giessmann

Technische Informatik

Mustererkennung (SV 2; Halbkurs)

Vorlesung	2 Std. B. Meffert
Übungen	2 Std. B. Meffert/O. Hochmuth
Praktikum	8 Std. O. Hochmuth

Forschungsseminare, 2stündig

Geleitet von: 
	H. -D. Burkhard, 
	J. Fischer, 
	J.-C.. Freytag, 
	M. Malek, 
	B. Meffert, 
	C. Polze, 
	H.-J. Prömel, 
	W. Reisig, 
	E. Rödel, 
	P. Starke

Lehrerfortbildung

Algorithmen und Programmierung I

Vorlesung	2 Std. G. Paulin
Übungen	2 Std. G. Paulin

Rechnerorganisation/Betriebssysteme I

Vorlesung	2 Std. D. Neumann

Fachdidaktik/Projektarbeit

Vorlesung/
Übung	2 Std. N. Neufert

Lehrerfortbildung (Dreijahreskurs; 5. Semester)

Informatik und Gesellschaft

Vorlesung	2 Std. C. Dahme

Algorithmen und Programmierung

Vorlesung	2 Std. G. Paulin
Übungen	2 Std. G. Paulin

Einführung in die Projektarbeit

Vorlesung	2 Std. C. Dahme	(14tg. /1.)

Rechnernetze

Vorlesung	2 Std. B. Burkhard	(14tg. /2.)