Inhaltsv - Dokumentenserverlips.informatik.uni-leipzig.de/files/1999-41.pdf · Managemen tv on Informatikpro jekten in V ersic herungsun ternehmen 1. 46 Mehrrec ... on Klinik ern,

Inhaltsverzeichnis

1 Vorwort 1

2 Studienberatung 2

3 Studieng�ange 2

3.1 Diplomstudiengang Informatik . . . . . . . . . . . . . . . . . . . . . 2

3.1.1 Lehrangebot . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3.2 Magisterstudium . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.2.1 Informatik als 2. Hauptfach . . . . . . . . . . . . . . . . . . . 11

3.2.2 Informatik als Nebenfach . . . . . . . . . . . . . . . . . . . . 12

3.3 Informatik f�ur andere Studieng�ange . . . . . . . . . . . . . . . . . . . 13

3.3.1 Wirtschaftsinformatik . . . . . . . . . . . . . . . . . . . . . . 13

3.3.2 Wirtschaftsmathematik / Mathematik . . . . . . . . . . . . . 14

3.3.3 Diplomstudieng�ange mit Nebenfach Informatik . . . . . . . . 14

4 Vorlesungen 17

Analysis 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

Automatisches �Ubersetzen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

Berechenbarkeit und Komplexit�at . . . . . . . . . . . . . . . . . . . . . . . . 19

Betriebssysteme und Compilertechnik . . . . . . . . . . . . . . . . . . . . . . 20

Biologische und Molekulare Systeme . . . . . . . . . . . . . . . . . . . . . . . 21

Biometrie I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

Biostatistik 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

Client/Server Systeme unter OS/390 . . . . . . . . . . . . . . . . . . . . . . 24

Computerlinguistik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

Datenbanksysteme 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

Datenschutz und Datensicherheit . . . . . . . . . . . . . . . . . . . . . . . . 28

Deduktionssyteme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

Digitale Informationsverarbeitung . . . . . . . . . . . . . . . . . . . . . . . . 30

Digitale Informationsverarbeitung (Informatik im Nebenfach) . . . . . . . . . . 31

Digitale Informationsverarbeitung f�ur Witschaftsinformatiker . . . . . . . . . . 32

Fortgeschrittene Algorithmen und Datenstrukturen . . . . . . . . . . . . . . . 33

Funktionale Programmierung 2 . . . . . . . . . . . . . . . . . . . . . . . . . 34

Gesch�aftsprozesse in Versicherungsunternehmen . . . . . . . . . . . . . . . . . 35

Grundlagen der Datenkompression . . . . . . . . . . . . . . . . . . . . . . . . 37

Grundlagen der Programmveri�kation . . . . . . . . . . . . . . . . . . . . . . 38

Grundlagen der Technischen Informatik 1 . . . . . . . . . . . . . . . . . . . . 40

Information Retrieval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

Krankenhausinformationssysteme 1 . . . . . . . . . . . . . . . . . . . . . . . 44

Lineare Algebra/ Analytische Geometrie . . . . . . . . . . . . . . . . . . . . 45

Management von Informatikprojekten in Versicherungsunternehmen 1 . . . . . 46

Mehrrechner-Datenbanksysteme . . . . . . . . . . . . . . . . . . . . . . . . . 47

I

Mengentheoretisch-algebraische Grundlagen . . . . . . . . . . . . . . . . . . . 48

Mikrorechnertechnik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

Modellierung kognitiver Systeme . . . . . . . . . . . . . . . . . . . . . . . . . 50

Parallelverarbeitung 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

Petri-Netze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

Pragmatik und Dialogsysteme . . . . . . . . . . . . . . . . . . . . . . . . . . 54

Programmierung und Programmiersprachen . . . . . . . . . . . . . . . . . . . 55

Quantencomputer II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

Rechnerarchitektur 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

Rechnernetze 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

Signalverarbeitung (2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

Temporales Schlie�en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

Verarbeitung medizinischer Volumenbilddaten . . . . . . . . . . . . . . . . . . 64

Versicherungsinformatik 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

Versicherungsmathematik 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

Verteilte Systeme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Videokommunikation �uber ATM und IP . . . . . . . . . . . . . . . . . . . . . 69

Wissensbasierte Systeme 1: Methodische Grundlagen . . . . . . . . . . . . . . 71

5 Fachseminare und Praktika 72

Automatisches Textverstehen . . . . . . . . . . . . . . . . . . . . . . . . . . 72

Client / Server-Praktikum . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

Diplomandenseminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

E-Commerce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

Elektronisches Publizieren . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

Forschungsseminar Bildverarbeitung und Computergra�k . . . . . . . . . . . . 77

Informatikwerkstatt eines Vollversicheres . . . . . . . . . . . . . . . . . . . . 78

KI-Diplomandenseminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79

Lexikalische Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

Multi-Agenten-Systeme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

Parallelisierende Compiler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

Praktikum Bild- und Signalverarbeitung . . . . . . . . . . . . . . . . . . . . . 83

Probleme der Kognitionswissenschaft . . . . . . . . . . . . . . . . . . . . . . 84

Praktikum Rechnernetze I (Internet-Praktikum) . . . . . . . . . . . . . . . . 85

Rechnernetze und Verteilte Systeme (Diplomandenseminar) . . . . . . . . . . 86

Sicherheit in Verteilten Systemen . . . . . . . . . . . . . . . . . . . . . . . . 87

Software-Ergonomie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

Theorie-Seminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

Versicherungsinformatik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

Wissensmodellierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

Work ow-Praktikum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

II

6 Anlagen 93

HINWEIS: Wegen der Stundenplanung der Lehrveranstaltungen und

auch wegen zwischenzeitlich eingetretenen �Anderungen bitten wir, die zu

Semesterbeginn im Institut ausgeh�angten aktuellen Stundenpl�ane bzw.

die WWW-Seiten des Instituts zu konsultieren!

III

1

1 Vorwort

Das vorliegende kommentierte Vorlesungsverzeichnis f�ur die Studieng�ange am In-stitut f�ur Informatik dokumentiert das Wintersemester 1999/2000 und soll eineOrientierungshilfe f�ur das Informatikstudium an der Universit�at Leipzig geben.Neben dem zehnsemestrigen Diplomstudiengang Informatik mit unterschiedlichenWahlm�oglichkeiten f�ur einen wissenschaftlichen Schwerpunkt und einem in das Stu-dium integriertem mindestens viermonatigem Berufspraktikum kann Informatik alszweites Hauptfach oder als Nebenfach im achtsemestrigen Magisterstudium an derUniversit�at Leipzig gew�ahlt werden. Dar�uber hinaus bietet das Institut Lehrveran-staltungen im Rahmen der Studieng�ange Wirtschaftsinformatik, Wirtschaftsmathe-matik und Mathematik sowie zur Informatik als Nebenfach f�ur naturwissenschaft-liche Studieng�ange an.

Am Institutsstandort Augustusplatz be�nden sich sowohl die H�ors�ale und Semi-narr�aume als auch die Computerarbeitspl�atze und Praktika. Den Studentinnen undStudenten steht am Institut und am Rechenzentrum der Universit�at eine modernetechnische Ausstattung zur Verf�ugung, von der aus Zugang zu weltweiten Daten-netzen m�oglich ist. Auch die Institutsbibliothek und eine Zweigstelle der Univer-sit�atsbibliothek sind am Augustusplatz beheimatet und bieten die f�ur das Studiumerforderliche Fachliteratur. Damit sind insgesamt gute Bedingungen f�ur ein erfolg-reiches Studium der Informatik an der Universit�at Leipzig gegeben.

Zu allen Fragen des Studiums, sowohl was die inhaltliche Gestaltung des Studiumsals auch den organisatorischen Ablauf innerhalb der Regelstudienzeit betri�t, be-raten Sie die Mitarbeiter des Pr�ufungsamtes/Studienorganisation. Au�erdem ste-hen Ihnen die Professoren und Mitarbeiter des Instituts als Ansprechpartner zurVerf�ugung.

Eine Informationsveranstaltung zu Semesterbeginn gibt Erl�auterungen zumGrund- und Hauptstudium. Aktuelle Informationen �nden sich weiterhin un-ter http://www.informatik.uni-leipzig.de/ auf unseren Instituts-Seiten im WorldWide Web, u.a. auch das vorliegende Vorlesungsverzeichnis. Aus organisatorischenGr�unden k�onnen sich die zeitliche Einordnung der Lehrveranstaltungen und dieR�aume, besonders im Nebenfach noch ver�andern.

Der jeweils aktuelle Stand wird an den Informationstafeln im Institut bzw. auf denInstitutsseiten im WWW bekanntgegeben.

Wir w�unschen allen Studentinnen und Studenten der Informatik-Studienrichtungenein erfolgreiches und interessantes Studium.

Prof. Dr. E. Rahm

Gesch�aftsf�uhrender Direktor und Prodekan

Prof. Dr. S. Gerber

Studiendekan und Vorsitzender des Pr�ufungsausschusses Informatik

Leipzig, im Juli 1999

2 3 STUDIENG�ANGE

2 Studienberatung

Ihre Anfragen zum Studium richten Sie bitte an:

Universit�at LeipzigFakult�at f�ur Mathematik und InformatikPr�ufungsamt/StudienorganisationHerrn W. ReutterAugustusplatz 10, 04109 LeipzigTel.: (0341) 9732165e-mail: [email protected]

3 Studieng�ange

3.1 Diplomstudiengang Informatik

F�ur die Studenten mit dem Studienziel Diplominformatiker sieht der g�ultige Studi-enplan eine Regelstudienzeit von 10 Semestern vor, in der die Zeit zur Anfertigungeiner Diplomarbeit und ein Berufspraktikum eingeschlossen ist. Das Studium glie-dert sich in zwei Studienabschnitte:

Das Grundstudium mit einer Dauer von vier Semestern umfa�t Lehrveranstaltungenzu

� Praktischer Informatik (18 SWS),

� Hard- und Software-Grundlagen (12 SWS),

� Theoretischer Informatik (12 SWS),

� Mathematik (20 SWS) und einem w�ahlbaren

� Nebenfach (12 SWS).

Zu den Inhalten der Praktischen Informatik und Hard- und Software-Grundlagenwerden Praktika durchgef�uhrt (12 SWS).

Das Studium von Fremdsprachen sollte der Student entsprechend seinen Vorausset-zungen in seinem individuellen Studienplan in das Grundstudium einbeziehen. F�urunterschiedliche Programmiersprachen und Anwendungssysteme werden u.a. auchvom Rechenzentrum Kurse angeboten, die allen Informatikstudenten o�enstehen.

Das Hauptstudium dient

� der Verbreiterung des Wissens, einer Vertiefung des Verst�andnisses und demErwerb weiterer allgemeiner Kenntnisse in theoretischen, praktischen, techni-schen und anwendungsorientierten Gebieten der Informatik (Kernf�acher),

� einer tieferen Einarbeitung in ein Spezialgebiet der Informatik im Rahmeneines Studienschwerpunktes, und umfa�t

� eine viermonatige berufspraktische Ausbildung (Berufspraktikum) bzw. eineStudienarbeit sowie

� die Fortf�uhrung der Ausbildung im gew�ahlten Nebenfach.

3.1 Diplomstudiengang Informatik 3

Der Student hat im Rahmen des Hauptstudiums eine erfolgreiche Teilnahme an zweieinsemestrigen Problemseminaren im gew�ahlten Studienschwerpunkt nachzuweisen.Die Kernf�acher umfassen Lehrveranstaltungen zur Theoretischen, Praktischen, An-gewandten und Technischen Informatik. Diese Vorlesungen sind Empfehlungen f�uralle Studenten des Diplomstudienganges Informatik und sollten in der Regel biszum 8. Studiensemester absolviert werden. In diesen Gebieten sind zwei getrenntem�undliche Diplomfachpr�ufungen �uber jeweils 12 SWS abzulegen. Die Sto�gebietebeider Pr�ufungen sind disjunkt aus dem Angebot der Kernf�acher zu w�ahlen. DerStudienschwerpunkt umfa�t das Studium in einem selbstgew�ahlten Spezialgebietder Informatik. Das Studium soll in einem Teilgebiet an den aktuellen Stand derForschung heranf�uhren. In der Regel wird die Aufgabenstellung f�ur die Diplomar-beit des Studenten aus dem Gebiet des Studienschwerpunktes gew�ahlt. Zur Zeitwerden als Studienschwerpunkte angeboten:

� Angewandte Informatik

� Automatische Sprachverarbeitung

� Informatik im Versicherungswesen.

� Medizininformatik

� Praktische Informatik

� Theoretische Informatik.

Hervorzuheben ist der Schwerpunkt Versicherungsinformatik, der innerhalbDeutschlands an Universit�aten zur Zeit nur in Leipzig angeboten wird. Er sollte inKombination mit dem Nebenfach Betriebswirtschaftslehre (Versicherungsbetriebs-lehre) studiert werden. Durch Einbeziehung von Dozenten aus der Wirtschaft wirdin diesem Schwerpunkt ein praxisbezogenes Studium gew�ahrleistet.

Generell ist bei einem Studienschwerpunkt die Wahl der Lehrveranstaltungen f�urden Studenten frei, wobei der Gesamtumfang des Lehrsto�es im Rahmen des Stu-dienschwerpunktes (mit Problemseminaren und Praktika) mindestens 32 SWS be-tr�agt. Im Rahmen des Studienschwerpunktes ist eine m�undliche Diplomfachpr�ufungund ein Diplomthema zu bearbeiten. Das Hauptstudium wird mit der Diplom-pr�ufung abgeschlossen, die aus der Diplomarbeit und Diplomfachpr�ufungen besteht.Das Diplomverfahren wird durch die Pr�ufungsordnung geregelt. Eine Gesamt�uber-sicht �uber den Diplomstudiengang Informatik �nden Sie in den Anlagen.

Studienrichtung Medizinische Informatik

Im Diplomstudiengang Informatik der Universit�at Leipzig kann seit dem WS96/97eine Studienrichtung Medizinische Informatik gew�ahlt werden. Diese Studienrich-tung unterscheidet sich vom allgemeinen Diplomstudiengang Informatik dadurch,da� im Grund- und Hauptstudium das Nebenfach Biomedizin und im Hauptstudiumder Studienschwerpunkt Medizininformatik gew�ahlt wird. Die Studieninhalte derInformatik im Grundstudium und den Kerngebieten der Informatik im Hauptstu-dium stimmen mit denen im bestehenden Diplomstudiengang Informatik �uberein.Das in der Studienordnung f�ur den Diplomstudiengang Informatik geforderteviermonatige Berufspraktikum ist in der Studienrichtung Medizinische Informatikan einer medizinorientierten Einrichtung abzuleisten.Das Nebenfach Biomedizin beinhaltet im Grundstudium mit 12 SWS das FachgebietMedizinische Physik und im Hauptstudium mit 12 SWS das Fachgebiet Biometrie.Hier werden medizinische und biowissenschaftliche Lehrinhalte problemorientiertund f�acher�ubergreifend angeboten. Die entsprechenden Vorlesungen und Praktika

4 3 STUDIENG�ANGE

werden gemeinsam von Klinikern, Physikern und Biologen durchgef�uhrt.Der Studienschwerpunkt im Hauptstudium umfa�t 32 SWS und ist zur Zeit imFachgebiet Medizininformatik m�oglich. Hier werden Vorlesungen und Seminare zurBild- und Signalverarbeitung, zu Krankenhausinformations und - kommunikations-systemen, zu Wissensbasierten Systemen, Kognitiven Systemen und BiologischenSystemen angeboten. Die Lehrveranstaltungen werden gemeinsam vom Institut f�urInformatik an der Fakult�at f�ur Mathematik und Informatik sowie dem Institutf�ur Medizinische Informatik, Statistik und Epidemiologie an der MedizinischenFakult�at durchgef�uhrt.Der Absolvent der Studienrichtung Medizinische Informatik soll in der Lage sein,die Entwicklung und Einf�uhrung komplexer informationsverarbeitender Systeme inKrankenh�ausern und in der Gesundheitsverwaltung, bei der Diagnose und Therapiesowie bei der Entwicklung und dem Einsatz von Apparaturen und Medikamentenzu unterst�utzen.

3.1.1 Lehrangebot

Grundstudium

1. Semester

Digitale InformationsverarbeitungVO 4 SWS dazu 2 SWS �Ubungen

R�unger, Gudula

Digitale Informationsverarbeitung f�ur

WitschaftsinformatikerVO 2 SWS dazu 1 SWS �Ubungen

Schierwagen, Andreas

Digitale Informationsverarbeitung (Informatik im

Nebenfach)VO 4 SWS dazu 2 SWS �Ubungen

Der, Ralf

Lineare Algebra/ Analytische GeometrieVO 4 SWS dazu 2 SWS �Ubungen

Apel, Joachim

Mengentheoretisch-algebraische GrundlagenVO 2 SWS dazu 1 SWS �Ubungen

Brewka, Gerhard

Grundlagen der Technischen Informatik 1VO 2 SWS dazu 1 SWS �Ubungen

Kebschull, Udo

�Ubungen, Praktika, Seminare


R�unger, Gudula






Der, Ralf


Apel, Joachim



Brewka, Gerhard


Kebschull, Udo

3. Semester

Analysis 2VO 4 SWS dazu 2 SWS �Ubungen

Wollenberg, Manfred

Berechenbarkeit und Komplexit�atVO 2 SWS dazu 1 SWS �Ubungen

Herre, Heinrich

Betriebssysteme und CompilertechnikVO 2 SWS dazu 1 SWS �Ubungen

Irmscher, Klaus

Programmierung und ProgrammiersprachenVO 2 SWS dazu 2 SWS �Ubungen

Saupe, Dietmar


Analysis 2VO 4 SWS dazu 2 SWS �Ubungen

Wollenberg, Manfred


Herre, Heinrich


Irmscher, Klaus

Hardware-PraktikumP 2 SWS

Kebschull, Udo / Lieske,Hans-Joachim


Saupe, Dietmar

Hauptstudium

Kernf�acher

Theoretische Informatik

DeduktionssytemeVW 2 SWS

Herre, Heinrich

Grundlagen der Programmveri�kationVW 2 SWS

Hartwig, Rolf

Petri-NetzeVW 2 SWS dazu 2 SWS �Ubungen

Gerber, Siegmar



Gerber, Siegmar

6 3 STUDIENG�ANGE

Technische Informatik

Rechnerarchitektur 1VW 2 SWS

Kebschull, Udo

Rechnernetze 1VW 2 SWS dazu 1 SWS �Ubungen

Irmscher, Klaus


Rechnernetze 1VW 2 SWS dazu 1 SWS �Ubungen

Irmscher, Klaus

Praktische Informatik

Client/Server Systeme unter OS/390V 1 SWS dazu 1 SWS �Ubungen

Spruth, Wilhelm G.

Datenbanksysteme 1VW 2 SWS dazu 1 SWS �Ubungen

Rahm, Erhard

Datenschutz und DatensicherheitVW 2 SWS

Sosna, Dieter

Parallelverarbeitung 2VW 2 SWS dazu 2 SWS �Ubungen

R�unger, Gudula


Gerber, Siegmar


Client/Server Systeme unter OS/390V 1 SWS dazu 1 SWS �Ubungen

Spruth, Wilhelm G.


Rahm, Erhard

Parallelverarbeitung 2VW 2 SWS dazu 2 SWS �Ubungen

R�unger, Gudula

Rechnerarchitektur 1VW 2 SWS

Kebschull, Udo


Gerber, Siegmar

Angewandte Informatik

ComputerlinguistikVW 2 SWS

Heyer, Gerhard

Information RetrievalVW 2 SWS

Wol�, Christian

Signalverarbeitung (2)VW 2 SWS

Saupe, Dietmar

Wissensbasierte Systeme 1: Methodische GrundlagenVW 2 SWS dazu 1 SWS �Ubungen

Brewka, Gerhard




Brewka, Gerhard

Spezialvorlesungen

Schwerpunkt Theoretische Informatik

Fortgeschrittene Algorithmen und DatenstrukturenV 2 SWS

Waldmann, Johannes

Funktionale Programmierung 2V 2 SWS dazu 1 SWS �Ubungen

Gerber, Siegmar

Temporales Schlie�enV 2 SWS

Wolter, Frank


Funktionale Programmierung 2V 2 SWS dazu 1 SWS �Ubungen

Gerber, Siegmar

Symbolisches RechnenP 2 SWS

Gr�abe, Hans-Gert

Theorie-SeminarS 2 SWS

Gerber, Siegmar; Herre,Heinrich

Schwerpunkt Praktische Informatik

Mehrrechner-DatenbanksystemeVO 2 SWS

Rahm, Erhard

MikrorechnertechnikV 2 SWS

Kebschull, Udo

Verteilte SystemeV 2 SWS dazu 1 SWS �Ubungen

Irmscher, Klaus

Videokommunikation �uber ATM und IPV 2 SWS

H�an�gen, Klaus


Client / Server-PraktikumP 2 SWS

Irmscher, Klaus und MA

Diplomandenseminar- DatenbankenS 2 SWS

Rahm, Erhard und MA

E-CommerceS 2 SWS

Rahm, Erhard

Parallelisierende CompilerS 2 SWS

R�unger, Gudula

Rechnernetze und Verteilte Systeme

(Diplomandenseminar)S 2 SWS

Irmscher, Klaus

8 3 STUDIENG�ANGE

Sicherheit in Verteilten SystemenS 2 SWS

Irmscher, Klaus


Irmscher, Klaus

Work ow-PraktikumP 4 SWS

Rahm, Erhard / M�uller,Robert

Schwerpunkt Angewandte Informatik

Grundlagen der DatenkompressionV 2 SWS

Saupe,Dietmar/Hamzaoui,Raouf

Modellierung kognitiver SystemeV 2 SWS


Quantencomputer IIV 1 SWS

Der, Ralf


Autonome RoboterP 4 SWS

Der, Ralf

Forschungsseminar Bildverarbeitung und Computergra�kS 1 SWS

Saupe, Dietmar und MA

KI-DiplomandenseminarS 2 SWS

Brewka, Gerhard

Multi-Agenten-SystemeS 2 SWS

Brewka, Gerhard/Herre,Heinrich

Symbolisches RechnenP 2 SWS

Gr�abe, Hans-Gert

WissensmodellierungS 2 SWS

Herre,Heinrich/Heller,(IMISE)

Schwerpunkt Automatische Sprachverarbeitung

Automatisches �UbersetzenV 2 SWS

Quastho�, Uwe

Pragmatik und DialogsystemeV 2 SWS

Heyer, Gerhard


Automatisches TextverstehenS 2 SWS

Quastho�, Uwe

DiplomandenseminarS 2 SWS

Heyer, Gerhard

Elektronisches PublizierenP 4 SWS

Quastho�,Uwe


Lexikalische SemantikS 2 SWS

Heyer, Gerahrd

Software-ErgonomieS 2 SWS

Wol�, Christian

Schwerpunkt Versicherungswesen

Gesch�aftsprozesse in VersicherungsunternehmenV 2 SWS dazu 2 SWS �Ubungen

Koch,Gottfried/Langenfeld,Stefan

Management von Informatikprojekten in

Versicherungsunternehmen 1V 2 SWS

Koch, Gottfried

Versicherungsinformatik 1V 2 SWS

Bader, Heinrich (R u. V)

Versicherungsmathematik 1V 2 SWS

Riedel, Manfred


Gesch�aftsprozesse in VersicherungsunternehmenV 2 SWS dazu 2 SWS �Ubungen

Koch,Gottfried/Langenfeld,Stefan

Informatikwerkstatt eines VollversicheresS 2 SWS

Koch, Gottfried/Bollen,(St. Gallen)

VersicherungsinformatikS 2 SWS

Eisner, (Alte Leipziger)

Schwerpunkt Medizininformatik

Biologische und Molekulare SystemeV 2 SWS

L�o�er, Markus; u. MA(IMISE)

Biometrie IV 2 SWS

L�o�er, Markus u. MA(IMISE)

Biostatistik 1V 2 SWS dazu 1 SWS �Ubungen

Riedel, Manfred

Krankenhausinformationssysteme 1V 2 SWS

Winter, Alfred (IMISE)

Ringvorlesung: Einf�uhrung in die BioinformatikV 2 SWS

Schierwagen, Andreasu.a.

Verarbeitung medizinischer VolumenbilddatenV 2 SWS

Lohmann, Gabriele(MPI)


Biostatistik 1V 2 SWS dazu 1 SWS �Ubungen

Riedel, Manfred

10 3 STUDIENG�ANGE

Biometrie IV 2 SWS

L�o�er, Markus u. MA(IMISE)

Praktikum Bild- und SignalverarbeitungP 3 SWS

Saupe, Dietmar/Kuska,Jens-Peer

Probleme der KognitionswissenschaftS 2 SWS


WissensmodellierungS 2 SWS

Herre,Heinrich/Heller,(IMISE)

3.2 Magisterstudium 11

3.2 Magisterstudium

F�ur die Magisterstudieng�ange gilt die Magisterpr�ufungsordnung (MAPO) der Uni-versit�at Leipzig. Diese sieht folgende Kombinationsvarianten von Studienf�achernvor: Eine Kombination aus zwei Hauptf�achern oder eine Kombination aus einemHauptfach und zwei Nebenf�achern. Die gew�ahlten F�acher sollten nicht zu eng mit-einander verwandt sein, jedoch in einem sinnvollen Zusammenhang stehen. Infor-matik kann als 2. Hauptfach oder als eines der beiden Nebenf�acher gew�ahlt werden.Das Magisterstudium beginnt mit einem viersemestrigen Grundstudium, das mitder Zwischenpr�ufung abgeschlossen wird. F�ur das sich anschlie�ende Hauptstudiumist kennzeichnend, da� sich die Studenten ihre Studienplanung auf der Grundla-ge der jeweiligen Studienordnungen weitgehend selbst�andig gestalten k�onnen. EineGesamt�ubersicht zu den Magisterstudieng�angen �nden Sie in den Anlagen.

3.2.1 Informatik als 2. Hauptfach

Grundstudium

1. Semester


R�unger, Gudula


Apel, Joachim

3. Semester


Saupe, Dietmar


Brewka, Gerhard

Hauptstudium

Im Hauptstudium w�ahlen die Studenten Vorlesungen aus Kernf�achern und demSchwerpunktangebot des Diplomstudienganges Informatik entsprechend Ihres Stu-dienplanes. Empfohlen werden u.a.:


Herre, Heinrich


Rahm, Erhard


Gerber, Siegmar


Brewka, Gerhard


Heyer, Gerhard


Sosna, Dieter


3.2.2 Informatik als Nebenfach

Grundstudium

1. Semester



Der, Ralf

3. Semester


Saupe, Dietmar

Hauptstudium



Rahm, Erhard


Heyer, Gerhard


Sosna, Dieter

3.3 Informatik f�ur andere Studieng�ange 13

3.3 Informatik f�ur andere Studieng�ange

F�ur Wirtschaftsinformatiker, Wirtschaftsmathematiker und Mathematiker werdenseitens des Instituts f�ur Informatik nach Vereinbarung Lehrveranstaltungen ange-boten, die in dem jeweiligen Grund- und Hauptstudium des entsprechenden Stu-dienganges integriert sind. Au�erdem ist f�ur natur- und geisteswissenschaftlicheStudienrichtungen ein Nebenfachstudium Informatik m�oglich, welches im Grund-und Hauptstudium jeweils 12 SWS umfa�t. Die diesbez�uglichen Lehrangebote sindin der empfohlenen Reihenfolge ohne andere Informatikkenntnisse verst�andlich.

3.3.1 Wirtschaftsinformatik

Grundstudium

1. Semester




3. Semester


Rahm, Erhard

Hauptstudium

Obligatorische Veranstaltungen




Irmscher, Klaus

Wahlp ichtfach"Spezielle Aspekte der Informatik\

Praktikum Rechnernetze I (Internet-Praktikum)P 2 SWS


Information RetrievalVW 2 SWS

Wol�, Christian


Gerber, Siegmar



Koch, Gottfried

Grundlagen der DatenkompressionV 2 SWS

Saupe,Dietmar/Hamzaoui,Raouf


Sosna, Dieter


Seminare



E-CommerceS 2 SWS

Rahm, Erhard

3.3.2 Wirtschaftsmathematik / Mathematik

Grundstudium

Siehe Diplomstudiengang Mathematik/Wirtschaftsmathematik.

Hauptstudium



Rahm, Erhard


Irmscher, Klaus


Gerber, Siegmar





Koch, Gottfried

Seminare



E-CommerceS 2 SWS

Rahm, Erhard

3.3.3 Diplomstudieng�ange mit Nebenfach Informatik

Grundstudium

1. Semester



Der, Ralf


Kebschull, Udo

3.3 Informatik f�ur andere Studieng�ange 15

3. Semester


Irmscher, Klaus


Saupe, Dietmar

Hauptstudium

Die Studenten w�ahlen entsprechend ihren Vorkenntnissen aus dem Angebot derKernf�acher des Diplomstudienganges.

Lehramt Informatik

Didaktik der InformatikVO 2 SWS

Borneleit, Peter

Weitere Vorlesungen w�alen die Studenten entsprechend ihrem Studienplan aus demAngebot f�ur Diplominformatiker.


Zeichenerkl�arung:

VO obligatorische Vorlesung

VW wahlobligatorische Vorlesung

S Problem- bzw. Fachseminar

V Spezialvorlesung

VF fakultative Lehrveranstaltung

�U �Ubung

P Praktikum

17

4 Vorlesungen

Analysis 2

Wollenberg, Manfred

Teilnehmerkreis:

Studenten der Informatik, 3.Semester

�Ubersicht:

Funktionen in mehreren Variablen (Di�erentiation und Integration), Di�erential-gleichungen

Literatur:

K.Kiyek, F.Schwarz: Mathematik f�ur Informatiker 2, Teubner 1994K.Meyerberg, P.Vachenauer: H�ohere Mathematik 1 und 2, Springer 1993

Scheinvergabe:

Zu den Vorlesungen gibt es �Ubungen (2 WS), �Ubungsaufgaben und am Schlu� desSemesters eine Klausur. Bei erfolgreicher Teilnahme gibt es �Ubungsscheine.

18 4 VORLESUNGEN

Automatisches �Ubersetzen

Quastho�, Uwe

Teilnehmerkreis:

Informatikstudenten mit Schwerpunkt Automatische Sprachverarbeitung

�Ubersicht:

Ziel der Vorlesung ist es, Einblick in die Verfahren der maschinellen �Ubersetzungzu geben und Algorithmen f�ur die drei Teilschritte

� Parsen des quellsprachigen Satzes,

� Transfer der quellsprachigen Struktur in die Zielsprache,

� Generieren des zielsprachigen Satzes

anzugeben. An Hand des maschinellen �Ubersetzungssystems LMT / PT Plus wirddie gegenw�artige Leistungsf�ahigkeit solcher Systeme demonstriert. Inhalt der Vor-lesung:

� Historische Entwicklung der maschinellen �Ubersetzung

� Maschinenunterst�utzte und maschinelle �Ubersetzung

� Slot-Grammer und Filler-Prinzip

� Lexikalische Transformationen und �Ubersetzungsbedingungen

� Generierung

Literatur:

� Hutchins, William J. ; Somers, Harold L.: An introduction to machine trans-lation, 1992, Academic Press, Signatur: K 5722

� Ste�ens, Petra (Hrsg.): Machine translation and the lexicon; proceedings,1995, Springer, Signatur: K 8395

� Software: PTPlus, v.Rheinbaben und Busch Verlag / IBM

Scheinvergabe:

Teilnahmeschein

19

Berechenbarkeit und Komplexit�at

Herre, Heinrich

Teilnehmerkreis:

Obligatorisch f�ur Studenten der Informatik. Die Vorlesung ist ein Bestandteil desGrundkurses Theoretische Informatik

�Ubersicht:

In der Vorlesung werden grundlegende Begri�e und Methoden aus der Algorithmen-theorie und der Theorie der rekursiven Funktionen benhandelt.

�Uberblick

� Begri� des Algorithmus' und des Kalk�uls

� Turingmaschinen und Registermaschinen

� Partiell rekursive Funktionen

� Churchsche Hypothese und �Aquivalenzsatz

� Aufz�ahlungstheorem und Kleenesches Normalformtheorem

� Rekursiv aufz�ahlbare und rekursive Mengen

� Unl�osbare Probleme und Reduzierbarkeit

� Elemente der Komplexit�atstheorie

Literatur:

� Garay,M.R., Johnson,D.S.: Computers and Tractability: A Guide to the Theo-ry of NP-Completeness. W.H. Freeman, San Francisco, 1978

� Machtey,M., Young,P.: An Introduction to the General Theory of Algorithms.Elsevier North-Holland, 1978

� Rogers,H. The Theory if Recursive Functions and E�ective Computability

� Reischuk,K.R. Einf�uhrung in die Komlexit�atstheorie. Stuttgart, B.G.Teubner,1990

Scheinvergabe:

Teilnahmeschein bei erfolgreicher Bearbeitung der �Ubungsaufgaben

20 4 VORLESUNGEN

Betriebssysteme und Compilertechnik

Irmscher, Klaus

Teilnehmerkreis:

Grundstudium, obligatorisch

�Ubersicht:

Gliederung:

� Einf�uhrung: Klassi�kation, Entwicklung, Standards

� Komponenten: E/A-System, Prozessorverwaltung, Datenverwaltung

� Multitasking-Systeme: Betriebsmittelverwaltung, Interproze�kommunikationTask-Management, Scheduling-Algorithmen, Synchronisation, nebenl�au�geProzesse, Threads

� Speicherverwaltung: Prim�ar/Sekund�arspeicher, Speicherverwaltungsstrategi-en

� Datenverwaltung: Datei, Speicherung, Zugri�, Datenschutz

� Spezi�sche Betriebssysteme, u.a. Echtzeit-Betriebssysteme, verteilteBetriebssy-steme

Literatur:

{ Brause, R.: Betriebssysteme - Grundlagen und Konzepte, Springer Verlag Hei-delberg, 1997

{ Nehmer, J.; Sturm, P.: Systemsoftware. Grundlagen moderner Betriebssyste-

me, dpunkt-Verlag Hei-delberg, 1997

{ Tannenbaum, A. S.: Moderne Betriebssysteme, Carl Hanser Verlag, M�unchen,1996

{ Tannenbaum, A. S.: Distributed Operating Systems, Englewood Cli�s, PrenticeHall, 1995 bzw. Verteilte Betriebssysteme, Prentice Hall, M�unchen, 1995

{ Weck, G.: Prinzipien und Realisierung von Betriebssystemen , B.G. Teubner-Verlag, Stuttgart, 1989

Scheinvergabe:

Klausur, zusammen mit Standard-Software (4. Semester)

21

Biologische und Molekulare Systeme

L�o�er, Markus; u. MA (IMISE)

Teilnehmerkreis:

Studenten der Informatik, obligatorisch f�ur Studenten der Studienrichtung Medi-zininformatik im 7.Semester

�Ubersicht:

Modelltypen und -strukturen (Taxonomie)

Klassi�kationsmodelle

Typen: heuristische, funktionale, statistische, fallvergleichende, probabilistische,Fuzzy Modelle

Beispiele: Medizinische Diagnostik und Therapie, Interpretation von Daten, Sym-ptomen, �Uberwachung von Patientenparametern

Konstruktionsmodelle

Typen: heuristische, modellbasierte, fallvergleichende Modelle

Beispiele: Planung von molekulargenetischen Experimenten, Beschreibung vonTherapiepl�anen bei der Krebsbehandlung

Modellierung biologischer Systeme

Typen: analytische, numerische, qualitative, mathematische Modelle

� Qualitative Modelle Beispiele: Vorhersage von Therapiee�ekten auf das Herz-Kreislaufsystem, Pathways

� Populationsmodelle Beispiele: Epidemie (z.B. AIDS, Malaria), �Okosysteme,Zell- und Tumor-wachstum, Evolution

� Physiologische Modelle Beispiele: Atmungssystem, Erregungsausbreitung(z.B. Herz), Metabolismus, Pankreas, Immunsystem

� Morphogenesemodelle Beispiele: Bildung, Aufrechterhaltung, Reparatur undSt�orungen von Strukturen, Turing-Systeme

� Bewegungsmodelle Beispiele: Di�usion, Chemotaxis, Haptotaxis, Schwarm-bildung

� Genetische Modelle

Beispiele: Erbg�ange, genetische Algorithmen Optimierungsmodelle und Fit-ting

22 4 VORLESUNGEN

Biometrie I

L�o�er, Markus u. MA (IMISE)

Teilnehmerkreis:

Studenten der Informatik, Nebenfach Biomedizin, Studienrichtung Medizininforma-tik im 7.Semester

�Ubersicht:

Ziele:Vertiefung der Kenntnisse �uber Modelle und Schlu�weisen der Biometrie; Auswahlund Anwendung ad�aquater Modelle zur Analyse realer Daten; Pr�ufung der Voraus-setzungen und Interpretation der Ergebnisse; Verst�andnis von statistischen Algo-rithmen und Nutzen von Statistiksoftware.

Markov Chain Monte Carlo (MCMC) Methoden

� Accept reject

� Envelope rejection

� Metropolis-Algorithmus

� Gibbs Sampling

Generalisierte lineare Modelle

� Exponentielle Modellfamilie

� E�cient score und Information Matrix

� Iterative Maximum Likelihoodsch�atzung

� Logistische Regression

� Odds Ratio

� Fitten des logistischen Modells

� Deviance

� Modellpr�ufung

� Overdisperiode

Multivariate Statistik

� MANOVA , Hotellings T

� Bootstrap, Bootstrap Standardfehler, Biassch�atzung

Literatur:

P. McCullagh, J.A. Nelder: Generalized Linear Models. Chapman&Hall.

Scheinvergabe:

Teilnahmeschein bei erfolgreicher Aufgabenl�osung

23

Biostatistik 1

Riedel, Manfred

Teilnehmerkreis:

Studenten der Informatik, Studienrichtung Medizininformatik im 5.Semester

�Ubersicht:

Ziele der Veranstaltung ist die Vermittlung von Grundprinzipien statistischer Mo-delle und Schlu�weisen, die Auswahl und Anwendung ad�aquater Modelle zur Ana-lyse realer Daten, die Pr�ufung der Vorraussetzungen, der Interpretation und desVerst�andnisses von statistischen Algorithmen und das Nutzen von Statistiksoftwa-re, insbesondere die Nutzung des Programmpakets SPSS.

� Deskriptive Statistik: Merkmalsarten, Me�proze� und Me�fehler, Urliste, Gra-phische und tabellarische Darstellungen von Daten, Statistische Ma�zahlen,Transformationen

� Wahrscheinlichkeiten und Verteilungen Axiomatischer Begri� derWahrschein-lichkeit, Bedingte Wahrscheinlichkeiten, Satz on Bayes, Zufallsgr�o�en und ihreVerteilungsfunktionen

� Statistische Schlu�weisen

{ Grundgesamtheit, Stichproben

{ empirische Verteilung

{ Gesetz der gro�en Zahl

{ Zentraler Grenzwertsatz

{ Parametrische Modelle

{ Punktsch�atzungen

{ Likelihoodkonzept: Likelihood-Sch�atzungen

{ Hypothesentestung

{ Intervallsch�atzungen

{ Likelihoodkonzept: Likelihood-Quotienntentests

{ Spezielle parametrische Tests f�ur ein stetiges Merkmal

{ Nichtparametrische Tests: Grundidee der Permutaion m�oglicherAusg�ange,

{ Fischer's exakter Test, Rangtests

Literatur:

D. Bosch: Statistik-Taschenbuch

D. Collett: Modelling binary Data

D. Harms: Biomathematik, Statistik und Dokumentation

D. Montgomery: Introduction to linear regression

R. Mead: The design of experiments

Scheinvergabe:

Teilnahmeschein bei erfolgreicher Aufgabenl�osung

24 4 VORLESUNGEN

Client/Server Systeme unter OS/390

Spruth, Wilhelm G.

Teilnehmerkreis:

Studenten im Hauptstudium Diplomstudiengang Informatik

�Ubersicht:

Motivation

Nahezu alle groesseren deutschen Wirtschaftsunternehmen setzen Rechner derES/390 Architektur mit dem OS/390 Betriebssystem als zentrale Unternehmens-server ein, mit steigender Tendenz.

Von besonderem Interesse ist derzeitig die Einbindung moderner Internet Techno-logien in die existierende /390 Landschaft: WEB Browser, WEB Server, Java Ap-plets, CORBA Component Broker, Java Enterprise Beans, Business Objekte undJava Frameworks. Praktisch alle gr�o�eren Unternehmen besch�aftigen sich mit dieserThematik.

Ziel

Die vorliegende Lehrveranstaltung will Wissen und Kompetenz zu diesem aktu-ellen Thema vermitteln. Sie �ndet zweist�undig, 14 t�agig, erstmalig im WS 99/00statt, und besteht aus einer Kombination aus Vorlesung und praktischen �Ubungen.Letztere werden mit NT Rechnern durchgef�uhrt, die ueber das Internet mit einemES/390 Gro�rechner verbunden sind.

Vorlesungs�ubersicht

ES/390 Architektur

� Geschichliche Entwicklung, Zukunftsaussichten

� Hardware, Ein/Ausgabe

� Parallelverarbeitung, Sysplex

� Logische Partitionen

�Ubersicht �uber die ES/390 Betriebssysteme

� VM, OS/390 (MVS), VSE, ACP

� Vergleich mit UNIX, OS/400 und NT

Struktur des OS/390 Betriebssystems

� Kernel Struktur

� Traditionelle Subsysteme (JES2/3, TSO, DB/2, RACF)

� VSAM Datei System

� VTAM, SNA, LU6.2 und APPC

� Posix Subsystem

Client/Server Betrieb

� CICS

25

� MQ Series

� 3270 Subsystem

� Thin Clients, Java Applets und ActiveX Controls

Internet Subsysteme

� CORBA Component Broker

� WEB-Sphere

� Java Enterprise Beans

� LDAP und NDS Verzeichnisdienste

� Einbindung von CICS und MQ Series

� San Francisco Framework

� System Management

C++ und Java Software Entwicklung unter NT und OS/390

Praktische �Ubungen

1. Programm- und Datenaustausch zwischen NT und OS/390

2. Entwicklung einer Java Hello World Anwendung

3. Kommunikation eines Visigenic CORBA Client Objects unter NT mit einemComponent Broker CORBA Objekt unter OS/390

4. Entwicklung einer OS/390 WebSphere Anwendung (Apache WWW Server)

26 4 VORLESUNGEN

Computerlinguistik

Heyer, Gerhard

Teilnehmerkreis:

Informatiker im Hauptstudiium mit Wahlschwerpunkt Automatische Sprachverar-beitung und Linguisten mit zweitem Hauptfach bzw. Nebenfach Informatik

�Ubersicht:

Die Vorlesung bietet eine Einf�uhrung in linguistische Grundbegri�e und Theori-en sowie die Prinzipien ihrer Implementierung. Behandelt werden im einzelnen:Grundlagen linguistischer Theoriebildung, Ebenen linguistischer Verarbeitung, Syn-tax, Lexikon, Morphologie und Semantik. Die Vorlesung wird im Sommersemestermit einer Einf�uhrung in die Sprachprodukttechnologie als einer ingenieursm�a�igenAnwendung computerlinguistischer Theorien und Verfahren fortgef�uhrt.

Literatur:

Grewendorf/Hamm/Sternefeld, Linguistisches Wissen, Suhrkamp (stw 695), Frank-furt (9)1996 Weitere Literatur wird in der Vorlesung mitgeteilt. Die Vorlesung wirddurch ein Skript begleitet.

Erwartete Vorkenntnisse:

keine

Scheinvergabe:

regelm�a�ig Teilnahme

27

Datenbanksysteme 1

Rahm, Erhard

Teilnehmerkreis:

Diplomstudiengang Informatik im Hauptstudium (ab 5. Semester) als Kernvorle-sung Praktische Informatik, Magisterstudium mit Informatik als 2. Hauptfach oderNebenfach, Diplomstudieng�ange Wirtschaftsmathematik und Wirtschaftsinforma-tik, Studieng�ange mit Nebenfach Informatik

�Ubersicht:

Es erfolgt eine Einf�uhrung in das Gebiet der Datenbanksysteme (DBS). Im Mit-telpunkt stehen der Entwurf von Datenbanken sowie das relationale Datenmodell.Ausf�uhrlich behandelt wird die Standard-Anfragesprache SQL in der standardisier-ten Version. Der Vorlesungssto� wird durch �Ubungen vertieft, wobei zu SQL prak-tische �Ubungen am Rechner durchgef�uhrt werden. Die erfolgreiche Absolvierungvon DBS1 ist Voraussetzung f�ur alle weiteren Lehrveranstaltungen (Vorlesungen,Seminare, Praktika) sowie studentische Arbeiten im Bereich

"Datenbanken\.

Gliederung:

� Einf�uhrung

� Aufbau von DBS

� Informationsmodellierung mit dem Entity-Relationship- Modell

� Relationale DBS

� SQL

� Normalisierung von Relationen

Literatur:

{ Heuer/Saake: Datenbanken. Int. Thomson Publishing, 1995

{ Kemper/Eickler: Datenbanksysteme, 2. Au age, Oldenburg, 1999

{ Neumann: Datenbanktechnik f�ur Anwender, Hanser 1996

{ Vossen: Datenmodelle, Datenbanksprachen und Datenbank-Management-

Systeme, 3. Au ., Oldenbourg 1999

{ Date/Darwen: A Guide to the SQL Standard, 4th ed., Addison-Wesley, 1997

{ Melton/Simon: Understanding the new SQL, Morgan Kaufmann, 1993


Informatik-Grundkenntnisse

Scheinvergabe:

�Ubungsaufgaben + Klausur

Sonstiges:

Skript (Folienkopien)1 und �Ubungsaufgaben2 sind im WWW abrufbar.

1http://www.informatik.uni-leipzig.de/i�/abteilungen/db/skripte/DBS1/inhalt.html2http://www.informatik.uni-leipzig.de/i�/abteilungen/db/uebungen/db1.html

28 4 VORLESUNGEN

Datenschutz und Datensicherheit

Sosna, Dieter

Teilnehmerkreis:

Studenten der Fachrichtung Informatik

�Ubersicht:

1. Begri� Datensicherheit, Anforderungen f�ur Datensicherheit

2. Sicherheitspolitik, Sicherheitsmechanismen, klassische Sicherheitsstrategien

3. Funktionalit�atsklassen , Orange Book (USA), Dt. F-Klassen, Bewertung vonMechanismen, Zerti�zierungsprozess

4. Protokolle der Kryptographie

5. Sicherheitsrelevante Funktionen im Betriebssystem, Beispiel Unix

6. Sicherheit im Netz, Firewall-Konzept

Literatur:

{ {: Sicherheit unter Unix, Oldenburgverlag

{ Castano u.a.: Database Security, Addison Wesley, 1994

{ Schneier, Bruce: Applied Cryptography: Protocols, Algorithms..., Wiley 1994

{ Wood / Kochan: UNIX Systemsicherkeit, tewi 1990


Grundkenntnisse �uber das Betriebssystem UNIX sowie Datenbanksysteme

Scheinvergabe:

Studenten, die einen entsprechenden Nachweis ben�otigen, k�onnen eine Teilnahme-best�atigung erhalten.

29

Deduktionssyteme

Herre, Heinrich

Teilnehmerkreis:

Fuer Studenten der Informatik als Kernvorlesung Theoretische Informatik

�Ubersicht:

In der Vorlesung werden die Grundlagen von Kalk�ulen des automatischen Theo-rembeweisens behandelt. Wichtige Anwendungen der Deduktionssysteme in der In-formatik sind die Programmveri�kation, die Programmsynthese und die K�unstlicheIntelligenz. Das Ziel der Vorlesung besteht in der detaillierten Darstellung der for-malen Grundlagen der wichtigsten Typen von Deduktionssystemen.

Gliederung

� Sequenzensysteme

� Kalk�ule des nat�urlichen Schlie�ens

� Tableaux-Systeme

� Resolventenkalk�ule

Literatur:

� Richter,M.M.: Logikkalk�ule, Teubner Studienb�ucher,1978

� Smullyan,R.M.: First Order Logic, Springer-Verlag, 1968

� Takeuti,G.: Proof Theory, North-Holland,Amsterdam, 1975

� Tennant,N.W.:Natural Logic, Edinburgh University Press,1990


Grundkenntnisse zur formalen Logik

Scheinvergabe:

Teilnahmeschein bei regelm�a�igem Besuch

30 4 VORLESUNGEN

Digitale Informationsverarbeitung

R�unger, Gudula

Teilnehmerkreis:

Obligatorische Vorlesung im Grundstudium f�ur Informatiker, Magister-, Haupt- undNebenfach

�Ubersicht:

Die Vorlesung f�uhrt in die Grundlagen der Informatik ein. Zentralen Begri�ewie Algorithmus, Informationsdarstellung, Rechner und Programmierung werdeneinf�uhrend behandelt. Die Grundelemente von Programmiersprachen und deren An-wendung werden anhand einfacher Beispiele vorgestellt.

Inhalte:

� Einf�uhrung

� Grundlagen von Algorithmen

� Digitale Informationsdarstellung

� Digitale Rechner und Programme

� Datenstrukturen und Operationen

� Programmstrukturen und Sprachen

Literatur:

wird zu Beginn bekannt gegeben

Scheinvergabe:

Teilnahmeschein bei erfolgreicher Bearbeitung der �Ubungsaufgaben und bestande-ner Klausur

31

Digitale Informationsverarbeitung (Informatik im Nebenfach)

Der, Ralf

Teilnehmerkreis:

Obligatorische Vorlesung im Grundstudium f�ur Magister bzw. Studenten der Infor-matik im Nebenfach.

�Ubersicht:

Die Vorlesung f�uhrt in die Digitale Informationsverarbeitung ein. Im Mittelpunktstehen der zentrale Begri� des Algorithmus, digitale Rechner und digitale Daten-darstellungen sowie die verschiedenen Programmierparadigmen.

Gliederung:

� Einf�uhrung


� Digitale Rechner



� Programmierung und Programmierparadigmen

Literatur:

� Appelrath, J.; Ludewig, J.: Skriptum Informatik, Teubner, 1995

� Gerber, S.: Skriptum Grundkurs Informatik, IfI, 1992

� Goldschlager, L.; Lister, A.: Informatik, Hanser,1990

� Gumm, H.-P.; Sommer, M.: Einf�uhrung in die Informatik, Addison-Wesley,1994

� Hotz, G.: Einf�uhrung in die Informatik, Teubner, 1990


Keine

Scheinvergabe:

�Ubungen und Klausur.

32 4 VORLESUNGEN

Digitale Informationsverarbeitung f�ur Witschaftsinformatiker


Teilnehmerkreis:

Obligatorische Vorlesung im Grundstudium f�ur Wirtschaftsinformatiker

�Ubersicht:

Die Vorlesung f�uhrt in die Grundlagen der Informatik ein. Ausgehend von denZielstellungen der Informatik und der historischen Entwicklung ihrer Gegenst�andewerden zentrale Konzepte wie Algorithmus, Informationsdarstellung, Rechner undProgrammierung behandelt. Die Grundelemente von Programmiersprachen und ihreAnwendung werden an Beispielen illustriert.

Gliederung:

� Einf�uhrung



� Digitale Rechner und Programme


� Programmstrukturen und Sprachen

Literatur:

� Appelrath, J.; Ludewig, J.: Skriptum Informatik, Teubner, 1995

� Gerber, S.: Skriptum Grundkurs Informatik, IfI, 1992

� Goldschlager, L.; Lister, A.: Informatik, Hanser,1990

� Gumm, H.-P.; Sommer, M.: Einf�uhrung in die Informatik, Addison-Wesley,1994

� Hotz, G.: Einf�uhrung in die Informatik, Teubner, 1990

Die B�ucher be�nden sich in der Lehrbuchsammlung bzw. in der Informatik-

Bibliothek3 (Hauptgeb�aude, Raum 03-28). Weitere Literatur wird in der Vorlesungbekanntgegeben.


Abiturkenntnisse in Mathematik

Scheinvergabe:

Bei regelm�a�igem Besuch der �Ubungen und bestandener Klausur

3http://www.informatik.uni-leipzig.de/i�/bibliothek/bibliothek.html

33

Fortgeschrittene Algorithmen und Datenstrukturen

Waldmann, Johannes

Teilnehmerkreis:

Spezialvorlesung f�ur Studenten im Haupt- oder Nebenfach Informatik, SchwerpunktPraktische oder Theoretische Informatik.

�Ubersicht:

Wir behandeln Entwurf und Analyse fortgeschrittener Algorithmen und Daten-strukturen.

Die grunds�atzliche Entwurfsmethode ist"teile und herrsche\, sie erzeugt eine hierar-

chische Struktur im Programmtext (Rekursion) und/oder in den Daten (balancierteB�aume).

Wir analysieren sowohl die Korrektheit der Programme (sie m�ussen 1. Strukturei-genschaften (Balance, Ordnung, usw.) invariant lassen und 2. terminieren) als auchihren Ressourcenverbrauch (1. im schlechtesten Fall, 2. im Mittel, 3. amortisiert)

Vorgestellt werden

� balancierte B�aume f�ur Folgen (Suchb�aume): AVL-B�aume, Splay-Trees, B-Trees, Rot-Schwarz-B�aume

� balancierte B�aume f�ur Mengen (Heaps): Leftist Heaps, Skew Heaps, Binomial-Heaps, Fibonacci-Heaps

� Selektions- und Sortierverfahren, Sortiernetze

� String Matching (Rabin-Karp, Knuth-Morris-Pratt, Boyer-Moore)

Zu diesen Themen betrachten wir nicht nur toy examples, sondern sehen uns auchreal code (RTFC!) aus verschiedener freier Software an (z. B. grep, TeX, ghc).

Literatur:

� T. H. Cormen, C. E. Leiserson, and R. L. Rivest:

Introduction to Algorithms, The MIT Press, Cam-bridge, Massachusetts, 1991.

� D. E. Knuth4:

The Art Of Computer Programming, Vol. III: Sortingand Searching. Reading, Massachusetts: Addison-Wesley, 1998.

� Mark Allen Weiss:

Data Structures and Algorithms in (Ada j C j Pascal),Benjamin/Cummings Publ., 1993.


Grundkenntnisse �uber Algorithmen und Datenstrukturen.

Scheinvergabe:

Bei aktiver Teilnahme und L�osen von �Ubungs- und Programmieraufgaben.

Sonstiges:

Aktuelles zur Vorlesung:

http://www.informatik.uni-leipzig.de/�joe/edu/ws99/fads/index.html

4http://www-cs-sta�.stanford.edu/�uno/index.html

34 4 VORLESUNGEN

Funktionale Programmierung 2

Gerber, Siegmar

Teilnehmerkreis:

Wahlobligatorische Vorlesung zu den Schwerpunkten Theoretische und PraktischeInformatik, Magister-HF im Hauptstudium

�Ubersicht:

1. Analyse funktionaler Programme1.1. Funktionales Typsystem1.2. Abstrakte Interpretation1.3. Reduktionsmechanismen

2. Parallelisierungskonzepte2.1. Parallele funktionale Programme2.2. Paralleles Berechnungsmodell2.3. Implementierung

3. Funktionale und Logische Programmierung3.1. Funktionale-logische Sprachen3.2. Operationale und denotationale Semantik3.3. Implementierungen

Literatur:

Erwig, M.: Grundlagen funktionaler Programmierung, Oldenbourg, 1999

Launchbury, J.; Sansom, P.: Functional Programming, Springer, 1992

Loogen, R.: Integration funktionaler und logischer Programmiersprachen, Olden-bourg, 1995

MacLennan, B.J.: Functional Programming, Addison-Wesley, 1990

Nielson, F.H.: Two-level functional languages, Cambridge Unversity Press, 1992

Plasmeijer, R. u.a.: Functional Programming and Parallel Graph Rewriting,Addison-Wesley, 1993

Thompson, S: Type Theory and Functional Programing, Add.-Wesley, 1991


Vorlesung Funktionale Programmierung I (SS 1999)

Scheinvergabe:

Abschlu�testat nach �Ubungen

Sonstiges:

Fragen, W�unsche, Hinweise zur Lehrveranstaltung bitte hier 5 !

5mailto:[email protected][email protected]

leipzig.de&subject=Funktionale Programmierung 2

35

Gesch�aftsprozesse in Versicherungsunternehmen

Koch, Gottfried/Langenfeld, Stefan

Teilnehmerkreis:

Die Vorlesung ist: P icht f�ur Studenten der

� Informatik mit dem Studienschwerpunkt Versicherungsinformatik sowie der

� Wirtschaftsinformatik mit Wahlp ichtfach Versicherungsinformatik

�Ubersicht:

Lernziele:

Die Studenten kennen

� die wesentliche Gesch�aftsprozesse eines Versicherers

� die unterschiedlichen Produktbereiche der Versicherungswirtschaft

� die unterschiedlichen Formen von Versicherungsunternehmen

Gliederung:

1. Die Aufgabe eines Versicherers

2. Formen von Versicherungsunternehmen

� Klassische Versicherer

� Direktversicherung

� R�uckversicherer

� Makler

3. Die Gesch�aftsprozesse eines Versicherers

� Produktbereiche (Antragsbearbeitung, Vertragsverwaltung, Scha-den/Leistung, Produktbereiche/Sparten)

� Wertbewegungsprozesse (Inkasso, Mahnprozesse, Exkasso)

� Marketingprozesse (Marktforschung, Produktentwicklung, Kommuni-kation)

� Vertriebsprozesse (Kundenbetreuung, Aussendienstverwaltung, Be-zahlungsssystemik)

� Partnerprozesse (Asset Management, Wertpapiermanagement, Immo-bilienverwaltung, Cashmanagement)

� R�uckversicherungsprozesse

� Informationsmangement (Systementwicklung, Systembetrieb, Archi-tekturen, IT-Trends)

� Controllingfunktionen

� Personalmanagement

� Rechnungswesen

� Rechtswesen (Wirtschaftspr�ufung, Revisionprozesse, Aktuarprozesse)

36 4 VORLESUNGEN

4. Trends des Versicherungsgesch�aftes

� Kooperationen

� All�nanz

� E-Commerce f�ur Versicherer

Literatur:

Wird in der Vorlesung bekanntgegeben


keine

Scheinvergabe:

Regelm�assiger Besuch der Vorlesung sowie das Bestehen einer Abschlussklausur

Sonstiges:

Informationen auch unter: http://www.uni-leipzig.de/versicherungsinformatik6

6http://www.uni-leipzig.de/versicherungsinformatik

37

Grundlagen der Datenkompression

Saupe, Dietmar/Hamzaoui, Raouf

Teilnehmerkreis:

Informatikstudenten im Hauptstudium, insbesondere die in der Studienrichtung Me-dizininformatik.

�Ubersicht:

In dieser Vorlesung werden die wichtigsten Algorithmen der Datenkompressioneingefuehrt:Hu�man-Codierung, Arithmetische-Codierung und Lempel-Ziv-Codierung.Zahlreiche Anwendungen in Text-, Audio- und Bildkompression (z.B. Lau aengen-Codierung, Kontextmodellierung, JBIG, JPEG, der fuer die Medizin entwickelteStandard DICOM) werden dargestellt.

Literatur:

� Sayood, K., Introduction to Data Compression, Morgan Kaufmann Publis-hers, San Francisco, California, 1996.

� Rabbani, M., Jones, P. W., Digital image compression techniques, SPIE Op-tical Engineering Press, 1991.

� Storer, James A., Data compression: methods and theory, Computer sciencePress, 1988.

� Nelson, M., The data compression book, M&T Publ., San Mateo, Calif, 1992.


Grundkenntnisse in Stochastik.

Scheinvergabe:

Erfolgreiche Teilnahme an der Abschlussklausur (multiple-choice System).

38 4 VORLESUNGEN

Grundlagen der Programmveri�kation

Hartwig, Rolf

Teilnehmerkreis:

Studenten der Informatik und Mathematik im Hauptstudium, die an grundlegendenFragen der Theoretischen Informatik interessiert sind

�Ubersicht:

Die Computerprogrammierung ist eine"exakte Wissenschaft\ in dem Sinne, da� alle

Eigenschaften eines Programms prinzipiell rein deduktiv aus dem Programmtextabgeleitet werden k�onnen. Im Widerspruch dazu steht allerdings die Praxis desExperimentierens mit

"tfertigen\ Programmen (

"Testphase\), um diese fehlerfrei

(?) zu machen.

Notwendig sind exakte Methoden der Programmdokumentation und Programmve-ri�kation. Notwendig ist eine Programmiermethodologie, die sich auf Beweise - nichtauf das Testen - von Programmeigenschaften st�utzt.

Die Vorlesung f�uhrt in dazugeh�orige mathematische Grundlagen ein und stellt denAnschlu� an die Literatur auf diesem Gebiet her.

Wesentliche Stichworte zum Inhalt der Vorlesung sind:

Korrektheit von Programmen, Axiomatische Semantik, HOARE-Logik, assertedprograms, Pr�adikattransformer, COOK-Vollst�andigkeit.

Gliederung:

1. Einleitung:

- allgemeiner Kalk�ulbegri�, grundlegende Begri�e und Bezeichnungen

2. Formale Theorien f�ur Programmiersprachen:

- Programmspezi�kationen und Beweissysteme

- Beispiele

3. HOARE-Logik f�ur while-Programme:

- Geradeausprogramme

- Vorbedingung, Nachbedingung, Ausdrucksf�ahigkeit

- FLOYDsches Vorw�arts-Zuweisungsaxiom

- Behandlung der Iteration

4. Ausblick:

- Indizierte Variablen

- Blockstruktur

Literatur:

� de Bakker, J.W. Mathematical Theory of ProgramCorrectness. 1980, PrenticeHall Int., Englewood Cli�s

� Futschek, G. Programmentwicklung und Veri�kation. 1989, Springer-Verlag

� Gries, D. The Science of Programming. 1981, Springer-Verlag

� Loeckx, J. and Sieber, K. The Foundation of ProgramVeri�cation. 1987, Teub-ner Stuttgart

39

� Riedewald, G. u.a. Formale Beschreibung von Programmiersprachen. 1983,Akademie-Verlag Berlin


Kenntnis einer h�oheren Programmiersprache

Grundkenntnisse der mathematischen Logik

Scheinvergabe:

Bei regelm�a�igem Vorlesungsbesuch, im Zweifelsfall nach abschlie�endem Gespr�ach

�uber den Vorlesungsinhalt

Sonstiges:

Zur Vorlesung gibt es eine gut ausgearbeitete Skripte7.

7http://www.informatik.uni-leipzig.de/�rhartwig/lad/skr1.html

40 4 VORLESUNGEN

Grundlagen der Technischen Informatik 1

Kebschull, Udo

Teilnehmerkreis:

Alle Studenten im 1. Semester

�Ubersicht:

In dieser Vorlesung erfolgt eine Einf�uhrung in das Gebiet der Technische Informatik.Dabei werden alle physikalisch-technischen Grundlagen behandelt, auf denen dieDigitaltechnik beruht.

Gliederung:

� Geschichtliche �Ubersicht

� Physikalische Grundlagen

Elektrische LadungGleichstromOhmsches GesetzKirchho�sche GesetzeElektromagnetisches FeldWechselstromkreisSchaltvorg�ange

� Halbleitertechnologie

DiodenBipolare und FET- TechnologieNMOS- und CMOS-SchaltkreiseDer Transistor als SchalterCMOS-GrundschaltungenPLAHerstellung elektronischer Schaltungen

� Schaltnetze

Boolesche AlgebrenNormalformenDarstellung Boolescher Funktionen

� Minimierung von Schaltnetzen

KV-DiagrammeMinimierung nach Quine MC-CluskeyB�undelminimierung

Literatur:

R.J. Smith, R.C. Dorf:"Circuits, Devices and Systems\ 5. Au age, John Wiley &

Sons (1992)

W. Schi�mann, R. Schmitz:"Technische Informatik 1 Grundlagen der digitalen Elek-

tronik.\ Springer-Lehrbuch, Springer-Verlag (1992)

41


keine

Scheinvergabe:

Nach erfolgreichem Abschlu� der �Ubungen

Sonstiges:

Es werden parallel laufende �Ubungen angeboten

42 4 VORLESUNGEN

Information Retrieval

Wol�, Christian

Teilnehmerkreis:

Studenten der Informatik im Haupt- und Nebenfach, sowie Studierende benachbar-ter Disziplinen.

�Ubersicht:

Die Verf�ugbarkeit gro�er unstrukturierter Daten- und insbesondere Textmengen imWWW unterstreicht die Bedeutung des Information Retrieval (IR) in der modernenSoftwareentwicklung. Die Vorlesung ist in zwei Hauptteile gegliedert, von denen dererste in die Grundlagen des IR einf�uhrt, der zweite aktuelle Forschungsthemen dis-kutiert. Ein besonderer Schwerpunkt liegt auf der Architektur und Implementierungvon Suchmaschinen und -werkzeugen im WWW

1. Grundlagen des Information Retrieval

(a) Aufbau von IR-Systemen (mit Beispielen)

(b) Modelle des IR (BOOLEsches Retrieval, vector space-Modell, probabili-stisches Retrieval)

(c) Automatische Indexierung

(d) Evaluierung und Bewertung von IR-Systemen

(e) Implementierung von IR-Systemen

2. Spezialthemen

(a) WWW-Suchmaschinen und internet agents

(b) IR in multimedialen Dokumentbest�anden

(c) Automatische Sprachverarbeitung und Informaion Retrieval

(d) Interface Design f�ur Suchwerkzeuge

Literatur:

� BLAIR, David C. (1990). Language and Representation in Information Re-trieval. Amsterdam et al.: Elsevier. [K 7888]

� FRAKES, William; BAEZA-YATES, Ricardo (edd.) (1993). Infomation Re-trieval: Data Structures and Algorithms. Englewood Cli�s/NJ: P T R PrenticeHall.

� GAUS, Wilhelm (1995 2). Dokumentations- und Ordnungslehre: Theorie undPraxis des Information Retrieval. Berlin et al.: Springer. [R 7977/ 2]

� JACOBS, Paul S. (ed.) (1992). Text-based Intelligent Systems: Current Re-search and Practice in Information Extraction and Retrieval. Hillsdale/NJ:Lawrence Erlbaum. [K 7107]

� LANCASTER, Frederick W.; WARNER, Amy (1993). Infomation RetrievalToday. Inform. Resources Press, Arlington/ Va. [R 9293].

� SALTON, Gerard (1989). Automatic Text Processing. The Transformation,Analysis, and Retrieval of Information by Computer. Reading/MA: Addison-Wesley. [i.d. Lehrbuchsammlung]

43

� SALTON, Gerard; MCGILL, Michael J. (1983). Introduction to Modern In-formation Retrieval. New York et al.: McGraw-Hill [dt. Ausgabe: InformationRetrieval - Grundlegendes f�ur Informationswissenschaftler. Hamburg et al.:McGraw-Hill 1987]. [R 4548]

Eine Liste wird neuerer Spezialliteratur zu den einzelnen Thmen der Vorlesung wirdden Teilnhemern zur Verf�ugung gestellt.


Hilfreich sind Grundkenntnisse im Fachgebiet Datenbanken.

Scheinvergabe:

H�orerschein bei regelm�a�ger Teilnahme.

44 4 VORLESUNGEN

Krankenhausinformationssysteme 1

Winter, Alfred (IMISE)

Teilnehmerkreis:

Obligatorische Vorlesung zu dem Studienschwerpunkt Medizininformatik der Stu-dienrichtung Medizinische Informatik im Hauptstudium

�Ubersicht:

Die Vorlesung gibt eine Einf�uhrung in Krankenhausinformationssysteme. Der ersteTeil konzentriert sich auf Aspekte des strategischen Managements von Kranken-hausinformationssystemen. Hierzu wird zun�achst ein Metamodell f�ur Krankenhaus-informationssysteme vorgestellt, mit dem Krankenhausinformationssysteme formalbeschrieben bzw. modelliert werden k�onnen. Anschlie�end wird erl�autert, aus wel-chen Komponenten sich der rechnerunterst�utzte Teil von Krankenhausinformati-onssystemen in der Regel zusammensetzt. In Zusammenarbeit mit verschiedenenEinrichtungen des Leipziger Universit�atsklinikums werden dann wichtige Kompo-nenten des Krankenhausinformationssystems dieses Klinikums vorgestellt.

Der zweite Teil befa�t sich mit dem taktischen Management von Krankenhaus-informationssystemen. Es wird ein Phasenmodell zum Management von Projek-ten eingef�uhrt, die sich mit der Analyse, Bewertung, Auswahl, Bereitstellung undEinf�uhrung von Komponenten f�ur Krankenhausinformationssysteme besch�aftigen.Die Anwendung dieses Phasenmodell wird im Praktikum zur Vorlesung, das imSommersemester 1999 folgt, einge�ubt werden.

Literatur:

� Griesser G (1994). Ein Krankenhaus- Informations- und Kommunikationssy-stem zur Unterst�utzung in der Klinik. Ein Leitfaden. Kiel: Schmidt & Klaunig.

� Haux R, Lagemann A, Knaup P, Schm�ucker P, Winter A (1998). Managementvon Informationssystemen: Analyse, Bewertung, Auswahl, Bereitstellung undEinf�uhrung von Informationssystemkomponenten am Beispiel von Kranken-hausinformationssystemen. Stuttgart: Teubner.

� Prokosch HU, Dudeck J (1995). Hospital Information Systems. Amsterdam:Elsevier.

� Winter A, Haux R (1995). A Three-Level Graph-Based Model for the Mana-gement of Hospital Information Systems. Methods of Information in Medicine.34(4), 378-396.

� Winter AF, Zimmerling R, Bott OJ, Gr�aber S, Haas P, Hasselbring W, HauxR, Heinrich A, Jaeger R,

� Kock I, M�oller DPF, Penger O-S, Prokosch H-U, Ritter J, Terstappen A,Winter A (1998). Das Management von Krankenhausinformationssystemen:Eine Begri�sde�nition. Informatik, Biometrie und Epidemiologie in Medizinund Biologie. 29(2), 93-105.


Vordiplom

Sonstiges:

Zu Teilen der Vorlesung wird ein Skript verteilt.

45

Lineare Algebra/ Analytische Geometrie

Apel, Joachim

Teilnehmerkreis:

obligatorisch f�ur Informatikstudenten des 1. Semesters

z�ahlt als Basiskurs Algebra f�ur Magisterstudenten

�Ubersicht:

Zun�achst werden die grundlegenden algebraischen Strukturen der Gruppen, K�orper,Polynomringe und Vektorr�aume bereitgestellt.

Beim Studium linearer Abbildungen zwischen Vektorr�aumen erweisen sich Matrizenund Determinanten als ein wichtiges Hilfsmittel. Ein Schwerpunkt der Vorlesung be-steht in der Untersuchung der L�osbarkeit linearer Gleichungssysteme. Insbesonderewerden L�osungsalgorithmen behandelt sowie die Struktur der L�osungsr�aume stu-diert. Es schlie�en sich h�ohere Untersuchungen der Matrizen an, Gegenstand sindvor allem Eigenwert- und Eigenvektorberechnungen.

Schlie�lich werden wir den Zusammenhang zwischen Polynomen und geometrischenObjekten betrachten und auf ausgew�ahlte geometrische Problemkreise, z.B. Unter-suchung von Kegelschnitten, eingehen.

Literatur:

wird zu Beginn der Vorlesungsreihe bekannt gegeben

Scheinvergabe:

Bei erfolgreicher Teilnahme an der Abschlu�klausur wird der Schein"Lineare Alge-

bra/Analytische Geometrie\ erteilt.

Voraussetzung f�ur die Klausurteilnahme ist das erfolgreiche Bearbeiten der w�ochent-lichen �Ubungsaufgaben.

46 4 VORLESUNGEN

Management von Informatikprojekten in Versicherungsunter-nehmen 1

Koch, Gottfried

Teilnehmerkreis:

F�ur Studenten der Informatik mit Studienschwerpunkt VERSICHERUNGSINFOR-MATIK ist dies eine P ichtveranstaltung. F�ur Studenten der Wirtschaftsinformatikmit Wahlp ichtfach VERSICHRUNGSINFORMATIK ist dies eine fakultative, aberempfohlene Veranstaltung.

�Ubersicht:

Gliederung

1. Erfolgsfaktoren f�ur DV-Projekte

� Kostene�ziente Projekte

� Aus erfolgreichen Projekten erfolgreiche Systeme machen

� DV-Applikationen in die Gesamtstrategie eines Unternehmens integrie-ren.

2. Projektmanagement

� Planen

� Organisieren

� Integrieren

� Revidieren

3. Methoden und Standards

4. Projektpr�ufung

Literatur:

Wird in der Vorlesung bekannt gegeben.


keine

Scheinvergabe:

Regelm�assiger Besuch der Vorlesung und Bestehen einer Abschlussklausur

Sonstiges:

Weitere Informationen siehe auch: http://www.uni-leipzig.de/versicherungsinformatik8


47

Mehrrechner-Datenbanksysteme

Rahm, Erhard

Teilnehmerkreis:

Diplomstudiengang Informatik im Hauptstudium, Schwerpunkt Praktische Infor-matik, und alle Interessierte

�Ubersicht:

Die Vorlesung behandelt die wichtigsten Ans�atze zur verteilten und parallelen Da-tenbankverarbeitung.

Gliederung:

� Einf�uhrung

� Klassi�kation von Mehrrechner-DBS

� Architektur von Verteilten DBS

� Datenverteilung

� Verteilte Anfrageoptimierung

� Transaktionsverwaltung in Verteilten DBS

� Replizierte DBS

� Shared-Disk-DBS

� Parallele DB-Verarbeitung

� Data Warehousing

Literatur:

{ Rahm, E.: Mehrrechner-Datenbanksysteme9, Addison-Wesley/Oldenbourg1994

Weitere Literaturhinweise werden in der Vorlesung genannt


Vorlesung DBS1

Scheinvergabe:

Gespr�ach bzw. regelm�a�ige Vorlesungsteilnahme

Sonstiges:

Skript (Folienkopien)10 sind im WWW abrufbar.

9http://www.informatik.uni-leipzig.de/i�/abteilungen/db/Books/mrdbs.html10http://www.informatik.uni-leipzig.de/i�/abteilungen/db/skripte/MRDBS/inhalt.html

48 4 VORLESUNGEN

Mengentheoretisch-algebraische Grundlagen

Brewka, Gerhard

Teilnehmerkreis:

Obligatorisch f�ur Informatikstudenten (1. Semester)

�Ubersicht:

In der Vorlesung werden elementare Begri�e und Methoden der Mengentheorie undder abstrakten Algebren behandelt, die f�ur die Informatik grundlegend sind:

1. Aussagen und Aussagenverbindungen

2. Mengenbegri� und Mengenbildung

3. Mengenalgebra

4. Geordnete Paare und Kreuzpropdukte

5. Relationen und Funktionen

6. Algebraischs Strukturen

7. Graphen

8. Partielle Ordnungen

9. Verbaende und Boolesche Algebren

10. Ordinal- und Kardinalzahlen

11. Rekursions- und Induktionsprinzipien

12. Freie Halbgruppen

Literatur:

� Cap,C.H.: Theoretische Grundlagen der Informatik, Springer, Wien, 1993

� Devlin,K.: The Joy of Sets, Springer-Verlag, 1993

� Ebbinghaus,H.-D.: Einfuehrung ind die Mengenlehre, BI Mannheim, 1994

� Halmos, : Naive Set Theory, Springer-Verlag

� Schoening,U.: Theoretische Informatik, BI Mannheim, 1992


Hochschulzulassung

Scheinvergabe:

Erteilung eines �Ubungsscheines bei erfolgreicher Bearbeitung der �Ubungsaufgaben

49

Mikrorechnertechnik

Kebschull, Udo

Teilnehmerkreis:

Alle Studenten im Hauptstudium

�Ubersicht:

In dieser Vorlesung werden der Aufbau, die Komponenten und die Funktionswei-se von Microcontrollern und Spezialprozessoren behandelt, wie sie in eingebettetenSystemen zum Einsatz kommen. Dabei werden auch die Programmierung, Echtzeit-betriebssysteme und Entwurfsumgebungen ber�ucksichtigt.

Literatur:

Die Literatur wird in der Vorlesung bekanntgegeben.


Die Vorlesung ist in sich abgeschlossen. Grundkenntnisse aus der Rechnerarchitekturund dem Entwurf hochintegrierter Schaltungen sind w�unschenswert.

Scheinvergabe:

Regelm�a�ige Vorlesungsteilnahme bzw. Gespr�ach

50 4 VORLESUNGEN

Modellierung kognitiver Systeme


Teilnehmerkreis:

Informatik-Studenten der Schwerpunkte Medizininformatik/Angewandte Informa-tik, aber auch der Psychologie, Linguistik, Biologie, Philosophie u.a.

�Ubersicht:

Die Kognitionswissenschaft ist eine Interdisziplin, die sich der Erforschung nat�urli-cher kognitiver Systeme und der Anwendung der gewonnenen Erkenntnisse bei derKonstruktion k�unstlicher, zu

"intelligenten\ Leistungen bef�ahigter Systeme widmet.

Die Vorlesung stellt die verschiedene Paradigmen vor, die sich innerhalb der Ko-gnitionswissenschaft unterscheiden lassen und diskutiert ihre jeweiligen Vor- undNachteile mit Blick auf typische Anwendungsgebiete. Im einzelnen werden folgendeFragen behandelt:

� Ziele und Methoden der Kognitionswissenschaft

� Konzeptionelle Grundlagen

� Modellans�atze f�ur kognitive Systeme

� Kognitive Modellierung (Symbolverarbeitung)

� Neuroinformatik (Konnektionismus bzw. Komputationale Neurowissenschaft)

� Interaktionismus / situierte Kognition

Literatur:

� M.A. Arbib, P. Erdi, J. Szentagothai, Neural Organization: Structure, Func-tion and Dynamics. MIT Press 1998

� P.S. Churchland, T.J. Sejnowski, The Computational Brain. MIT Press 1994

� R.F. Port, T. van Gelder (eds.), Mind as Motion: Explorations in the Dyna-mics of Cognition. MIT Press 1995

� M. I. Posner (ed.), Foundations of Cognitive Science. MIT Press 1989


Lehrveranstaltungen des Grundstudiums

Scheinvergabe:

Teilnahmeschein bei regelm�a�igem Vorlesungsbesuch

51

Parallelverarbeitung 2

R�unger, Gudula

Teilnehmerkreis:

Diplomstudiengang Informatik im Hauptstudium, Kernvorlesung Praktische Infor-matik

�Ubersicht:

In der Vorlesung Parallelverarbeitung 2 steht die praktische Programmierung vonParallelrechnern im Vordergrund. Neben der Realisierung von spezi�schen Aufga-ben, wie z.B. kollektiven Kommunikationsoperationen, werden die Anwendungs-beispiele vor allem aus den Bereichen Numerik und Wissenschaftliches Rechnenkommen. In der Vorlesung werden die Anwendungen und deren Parallelisierungenbzgl.verschiedener Programmiermodelle vorgestellt. In den �Ubungen wird die prak-tische Realisierung von korrespondierenden Programmen vor allem im Message-Passing Programmiermodell durchgef�uhrt.

Literatur:

� Almasi, Gottlieb: Highly Parallel Computing, Benjamin/Cummings, 1994

� Bertskas, Tsitsiklis: Parallel and Distributed Computation, Prentice-Hall,1989.

� Culler, Singh: Parallel Computer Architecture, Morgan Kaufmann, 1999.

� Foster: Designing and Building Parallel Programs, Addison Wesley, 1995.

� Kumar, Grama, Gupta, Karypis: Introduction to Parallel Computing, 1994.

� Wilson: Practical Parallel Programming, MIT Press 1995.


Vorlesung Parallelverarbeitung 1 oder �aquivalente Kenntnisse sind erw�unscht

Scheinvergabe:

Teilnahmeschein bei erfolgreicher Bearbeitung der �Ubungsaufgaben

52 4 VORLESUNGEN

Petri-Netze

Gerber, Siegmar

Teilnehmerkreis:

Die Vorlesung geh�ort zu den Kerngebieten Theoretische und Praktische Informa-tik und ist f�ur alle Studenten des Diplomstudienganges Informatik im Hauptstudi-um wahlobligatorisch. Dar�uber hinaus wird die Vorlesung empfohlen f�ur Studentender Wirtschaftsinformatik und f�ur das Magisterstudium mit Informatik als zweitesHauptfach ab 5.Semester.

�Ubersicht:

Bei der Beschreibung und Simulation von Proze�systemen mit parallelen bzw. ne-benl�au�gen Aktionen, wie z.B. Produktions- und Kommunikationssystemen, werdenerfolgreich Netz-Modelle eingesetzt. Die Vorlesung stellt die grundlegenden Begri�ezur Verf�ugung und gibt eine Einf�uhrung in die Theorie und Anwendung solcherNetze.

Gliederung:

1. Grundbegri�e

� Bedingungen und Ereignisse

� Systeme, Prozesse und Netze

2. Netz-Theorie

� Automaten und Petri-Netze

� Lebendigkeit, Sicherheit, Deadlocks

� Netz-Sprachen

3. Netz-Anwendungen

� Produktionssysteme

� Schaltwerke

� Kommunikationsnetze

Literatur:

Baumgarten, B.: Petri-Netze, BI-Mannheim, 1990

Peterson, J.L.: Petri Net Theory and the Modelling of Systems, Prentice Hall, Lon-don, 1981

Reisig, M.: Petri-Nets, Springer, Berlin, 1985

Starke, P.H.: Petri-Netze, Deutscher Verlag der Wissenschaften, Berlin, 1980 DieB�ucher be�nden sich in der Lehrbuchsammlung der Informatik-Bibliothek. WeitereLiteratur wird in der Vorlesung aktualisiert.


Grundkurs Theoretische Informatik

Scheinvergabe:

Nach erfolgreicher Teilnahme an einer Konsultation.

Sonstiges:

Skript zur Vorlesung wird im Netz zur Verf�ugung gestellt.

53

Fragen, W�unsche, Hinweise zur Lehrveranstaltung bitte hier 11 !

11mailto:[email protected]?subject=Petri-Netze

54 4 VORLESUNGEN

Pragmatik und Dialogsysteme

Heyer, Gerhard

Teilnehmerkreis:

Informatiker im Hauptstudiium mit Wahlschwerpunkt Automatische Sprachverar-beitung und Linguisten mit zweitem Hauptfach bzw. Nebenfach Informatik

�Ubersicht:

Die Vorlesung ist Teil eines viersemestrigen Zyklus in die Grundlagen der Automa-tischen Sprachverarbeitung f�ur Studenten im Hauptstudium mit dem Vertiefungs-schwerpunkt Automatische Sprachverarbeitung.

Gegenstand sind die Grundlagen der linguistischen Pragmatik sowie ihre sprach-technologischen Anwendungen.Im einzelnen werden behandelt:

1. Grundlagen der linguistischen Pragmatik

2. Rhethoric Structure Theory (RST)

3. Implementierung und Evaluation einfacher nat�urlichsprachlicher Schnittstel-len

Literatur:

Die erforderliche Literatur wird gestellt


Teilnahme Kernfachvorlesungen Computerlinguistik und Sprachprodukttechnologie

Scheinvergabe:

regelm�a�ige Teilnahme

55

Programmierung und Programmiersprachen

Saupe, Dietmar

Teilnehmerkreis:

Bei dieser Vorlesung handelt es sich um die obligatorische Grundvorlesung des 3.Semesters im Gebiet Praktische Informatik.

�Ubersicht:

Die Vorlesung f�uhrt in die wichtigsten Grundkonzepte verschiedener Programmier-sprachen und Programmierparadigmen ein. Dabei werden imperative, objektorien-tierte, funktionale sowie deklarative Programmiersprachen behandelt. Die Vorz�ugeder jeweils verf�ugbaren Ausdrucksmittel werden anhand von beispielhaften Pro-bleml�osungen herausgearbeitet.

Literatur:

Wird bei Vorlesungsbeginn bekanntgegeben.


Vorlesungen Digitale Informationsverarbeitung sowie Algorithmen und Datenstruk-turen.

Scheinvergabe:

L�osen von �Ubungsaufgaben in den begleitenden �Ubungen

56 4 VORLESUNGEN

Quantencomputer II

Der, Ralf

Teilnehmerkreis:

Studenten der Informatik im Haupt- und Nebenfach.

�Ubersicht:

Aufbauend auf der Vorlesung im Sommersemester '99 werden konkrete Quan-tenalgorithmen und physikalische Realisierungen des Quantencomputers dargestellt.Weitere Themen sind abstrakte Quantenautomaten und deren Rolle als Modelle derInformationsverarbeitung im Hirn.

Literatur:

� Williams, C. P.; Clearwater, S. H.: Explorations in Quantum Computing.Springer 1997

� Weitere Literatur wird in der Vorlesung bekanntgegeben.


Besuch der Vorlesung Quantencomputer I oder einer Vorlesung in Quantenmecha-nik.

57

Rechnerarchitektur 1

Kebschull, Udo

Teilnehmerkreis:

Informatik Studenten im Hauptstudium Wahlfach f�ur Studenten anderer Fachrich-tungen

�Ubersicht:

In dieser Vorlesung erfolgt eine Einf�uhrung in das Gebiet der Rechnerarchitektur.Dabei werden besonders die Berwerung der Leistung von Rechnersystemen und dieM�oglichkeiten der Leistungssteigerung behandelt.

Gliederung:

� Technologische Entwicklung:

Prozessor- und Speicherentwicklung, Treibende Kr�afte der Mikroelektronik,Grenzen der Technologie

� Begri�sbildung:

Teilbereiche und Ebenen der Rechnerarchitektur, Aufgaben der Rechnerar-chitektur, Ziele der Rechnerarchitektur

� Bewertung der Leistung von Rechnersystemen:

De�nition der Leistung, Amdahlsches Gesetz, MIPS, FLOPS, Benchmarks

� Befehlss�atze:

Adressierung von Operanden, Speicheradressierung, Adressierungsarten,Compileroptimierungen

� RISC und CISC:

historische Entwicklung, Unterschiede, Bewertung

� Beispiel einer RISC-Architektur:

Befehlssatz des DLX, Befehlsformate

� Pipelining und Superskalarit�at:

Leistungssteigerung durch Pipelining, Pipelinekon ikte, Ma�nahmen zurBehebung von Pipelinekon ikten, Sprungvorhersage

� Prinzipien beim Speicherentwurf:

Lokalit�at, Speicherhierarchie, Plazierungsstrategien, Ersetzungsstrategien,Virtueller Speicher, Adre�umsetzpu�er

� Weitere Optimierungen:

Plazieren von Teilbl�ocken, Schreibpu�er, Teile von Bl�ocken"out-of-order\

holen, virtuell adressierte Caches, Cache-Koh�arenzprobleme

58 4 VORLESUNGEN

Literatur:

J.L. Hennessy, D.A. Patterson:"Computer Architecture: A Quantitative Ap-

proach\, Morgan Kaufman (1996)

D.A. Patterson, J.L. Hennessy:"Computer Organisation & Design: The Hardware

- Software Interface\, Morgan Kaufmann (1994)

M�artin:"Rechnerarchitektur\, Hanser Studienb�ucher der Informatik (1994)

K. Hwang:"Advanced Computer Architecture\, McGraw Hill (1993)

J.M. Feldman:"Computer Architecture\, McGraw Hill (1994)


Vorlesung Rechneraufbau oder vergleichbare Vorkenntnisse

Scheinvergabe:

Regelm�a�ige Vorlesungsteilnahme bzw. Gespr�ach

59

Rechnernetze 1

Irmscher, Klaus

Teilnehmerkreis:

Hauptstudium, Kernfach Technische Informatik (SG Informatik) Hauptstudium,Komplexfach Informatik (SG Wirtschaftsinformatik)

�Ubersicht:

Gliederung:

� Daten- und Rechnerkommunikation

{ Aufbau von Datennetzen und Dienste

{ Daten�ubertragung (Betriebsverfahren, Komm.-Protokolle, Flu�steuerun-gen)

� Netzwerk-Architekturen

{ Hierarchische Schichtenstruktur, Schnittstellen und Dienste

{ OSI-Referenzmodell (Dienstmodell, Funktionen)

{ TCP/IP-Referenzmodell

� Schichten und Funktionen des Referenzmodells (OSI)

{ Bit�ubertragungsschicht (u.a. �Ubertragungsmedien)

{ Sicherungsschicht (u.a. Fehlererkennung/korrektur; HDLC, PPP)

{ Vermittlungsschicht (u.a. Routing, �Uberlast; X.25, Frame Relay, IP)

{ Transportschicht (u.a. Dienstqualit�at; TCP, UDP; Socketprogrammie-rung)

{ Anwendungsschicht (u.a. Sicherheit; FTP, TN, Email, News; DNS,Mgmt.)

� Internet

{ Entwicklung, Aufbau und Organisation, Dienste

{ Basis-Dienste: FTP, Telnet, SMTP (E-mail); MIME, MBone

{ Intranet, Firewall; Sicherheit

� World-Wide Web - Applikation

{ Architektur WWW (Server, Browser; HTTP, URL)

{ Hypertext und Interaktionen: HTML, XML, CGI, Java-Applets; VRML

Literatur:

{ Comer, E.; Stevens, D.L.: Internetworking with TCP/IP. Vol. II. PrenticeHall, 1991

{ Lockemann, P.; Kr�uger, G.; Krumm, H.: Telekommunikation & Datenhaltung.

Hanser, 1993

{ Maurer, R.: HTML und CGI-Programmierung. dpunkt, Heidelberg, 1997

60 4 VORLESUNGEN

{ Rose, M.T.: TCP/IP-Netze. Hanser-Verlag, 1994

{ Spaniol, O.; Jakobs, K.: Rechnerkommunikation: OSI-Referenzmodell, Diensteund Proto-kolle. VDI-Verlag, 1993

{ Tanenbaum, A.S.: Computer-Netzwerke. Prentice Hall, 1996

Sonstiges:

begleitend: Praktikum Rechnernetze I (Internet-Praktikum): Netz-Tools/Dienste,Modellnetz (Intranet / Firewall / Kon�gurierung), WWW (HTML, Interaktionen))

61

Signalverarbeitung (2)

Saupe, Dietmar

Teilnehmerkreis:

Diplomstudiengang Informatik, Hauptstudium.Wahlobligatorische Vorlesung in Kernfach Angewandte Informatik.Die Veranstaltung ist Voraussetzung f�ur die Teilnahme an dem Praktikum Bild- undSignalverarbeitung, welches im Anschluss an die Folgeveranstaltung Bild- und Si-gnalverarbeitung II angeboten wird und die im Studienplan f�ur die StudienrichtungMedizininformatik vorgesehen ist.

�Ubersicht:

Die Vorlesung gibt eine Einf�uhrung in die Grundlagen der Signalverarbeitung. Fol-gende Themen werden u.a. behandelt:

� Signal- und Bildabtastung sowie -quantisierung

� Z-Transformation und die diskrete Fouriertransformation

� Spektralanalyse von Signalen und Bildern

� Digitale FIR und IIR Filter

Im folgenden Sommersemester wird in der Vorlesung"Bildverarbeitung\ die Signal-

verarbeitung f�ur den zweidimensionalen Fall behandelt. Themen werden sein:

Bildverbesserung, -segmentierung und Restauration, Computer Vision und schlies-slich Bildrekonstruktion aus Projektionen, welche Grundlage vieler bildgebenderVerfahren in der Medizin bildet.

Literatur:

� J. McClellan, R. W. Schafer, M. A. Yoder, DSP FIRST - A Multimedia Ap-proach, Prentice-Hall, 1996.

� J. G. Proakis, D. G. Manolakis, Digital Signal Processing, Third edition,Prentice-Hall, 1996.

� V. K. Ingle, J. G. Proakis, Digital Signal Processing unsing MATLAB V.4,PWS Publishing Com., 1997.

� A. Oppenheim, R. Schafer, Discrete-time Signal Processing, Prentice-Hall,1989.

� S. Stearns, R. David, Signal Processing Algorithms in MATLAB, Prentice-Hall, 1996.


Grundkenntnisse in Linearer Algebra, Analysis, Stochastik und Numerik, sowie Al-gorithmen und Datenstrukturen.

Scheinvergabe:

Ein �Ubungsschein kann durch erfolgreiche Bearbeitung von (meist praktischen) Auf-gaben erworben werden.

Sonstiges:

Veranstaltungen mit Bezug zu dieser Vorlesung sind:

62 4 VORLESUNGEN

� Vorlesung Grundlagen der Datenkompression

� Forschungsseminar Bildverarbeitung und Computergra�k

63

Temporales Schlie�en

Wolter, Frank

Teilnehmerkreis:

Studenten der Informatik, Mathematik und Philosophie im Haupt und Nebenfach

�Ubersicht:

Klassische Logik ist zur formalen Beschreibung von Zust�anden einer statischenWelt entwickelt worden. Sie ist daher nur eingeschr�ankt zur Modellierung zeitli-cher Ph�anomene und Prozesse brauchbar. Die Vorlesung gibt eine Einf�uhrung inLogiken, die dieses De�zit durch Erweiterung der klassischen Sprache um tempora-le Operatoren beheben. Diese Logiken werden im Hinblick auf ihre Anwendbarkeit(etwa zur Spezi�kation und Veri�kation von Programmen) sowie auf ihre formalenEigenschaften, wie Expressivit�at und Entscheidbarkeit, untersucht. Im Mittelpunktstehen zun�achst Sprachen, die in Strukturen interpretiert werden, die aus Zeitpunk-ten (Zust�anden) und einer zweistelligen Relation (Pr�azedenz) zwischen Zeitpunktenbestehen. Hier werden behandelt: Klassische Zeitlogiken mit den Operatoren

"es

wird der Fall sein\ und"es war der Fall\. Kombinationen von Modaler und Tempo-

raler logik. Logiken mit den Operatoren"Next\,

"Until\,

"for all paths\ (z.B. CTL).

Im Anschluss werden Temporale Logiken vorgestellt, die in Intervallstrukturen bzw.Ereignisstrukturen interpretiert werden.

Literatur:

Wird in der Vorlesung angegeben.


Kenntnisse in der Klassischen Logik

Scheinvergabe:

Erfolgreicher Besuch der Vorlesung

64 4 VORLESUNGEN

Verarbeitung medizinischer Volumenbilddaten

Lohmann, Gabriele (MPI)

Teilnehmerkreis:

Studierende der Informatik im Hauptstudium, insbesondere sollen Studierende desStudienschwerpunkts

"Medizinische Informatik\ angesprochen werden.

�Ubersicht:

In der medizinischen Diagnostik spielen Bilddaten eine wichtige Rolle. Beispielesind Endoskopie oder Magnetresonanz-Tomographie. Zunehmend werden Verfahrenzur automatischen Verarbeitung und Analyse dieser Bilder eingesetzt. In dieserVorlesung sollen einige solcher Verfahren besprochen werden. Insbesondere sollenVerfahren zur Analyse von 3D Magnetresonanztomographie-Bildern des Gehirnsbesprochen werden.

Im einzelnen werden folgende Themen behandelt:

� Grundbegri�e der diskreten 3D Topologie und Methoden der e�zienten Spei-cherung von 3D Bilddaten.

� Visualisierung von 3D Bilddaten: Volumenrendering und Ober aechenrende-ring.

� Kantendetektion in 3D: Canny-Filter, Kantenverduennung und Kantenverket-tung.

� Segmentationsverfahren.

� Automatische Extraktion relevanter Merkmale aus 3D Bilddaten: 3D Distanz-Transformation, 3D Skelettierung.

� Ober aechenanpassungen: Verschiedene Triangulierungs-Verfahren.

� Methoden zur Berechnung von Kruemmungs-Eigenschaften von Bildobjekten.

� Deformierbare Modelle als Methode zur Objekterkennung.

� Geometrische Registrierung verschiedener Datensaetze. Methoden zur raeum-lichen Normalisierung von 3D Magnetresonanz-Daten des menschlichen Ge-hirns.

� Methoden zur raeumlichen Normalisierung von 3D Magnetresonanz-Daten desmenschlichen Gehirns.

Literatur:

� G. Lohmann,Volumetric Image Analysis, Wiley-Teubner, Chichester, 1998.

� A.W. Toga,"Brain warping\, Academic Press, San Diego, CA, 1999.

65

Versicherungsinformatik 1


Teilnehmerkreis:

Die Vorlesung ist: P icht f�ur Studenten der

� Informatik mit dem Studienschwerpunkt Versicherungsinformatik sowie der

� Wirtschaftsinformatik mit Wahlp ichtfach Versicherungsinformatik

�Ubersicht:

Diese Vorlesung erg�anzt und vertieft die Lehrveranstaltung Einf�uhrung in die Ver-sicherungsinformatik von Dr. G. Koch. Lernziele:

� Die Studenten kennen aktuelle Anforderungen an Versicherungsinformations-systeme und deren betriebswirtschaftliche Begr�undung

� Die Studenten kennen Versicherungsinformationssysteme anhand konkreterBeispiele und deren betriebswirtschaftliche Bedeutung

� Die Studenten kennen grundlegende Architekturprinzipien von Informatiksy-stemen f�ur Versicherungen

In der Vorlesung wird eine praxisnahe Darstellung

� des Informationsmanagements in der Versicherung

� der Informationstechnologie in der Versicherung

� von Informatikanwendungen bei Versicherungen

gegeben. Gliederung:

1. Einf�uhrung: Informationsmanagement und IT/IS-Architektur im Versiche-rungsunternehmen

2. Komponentenbasierte Anwendungsentwicklung

3. Anwendungssysteme aus der Praxis

� Vertriebsinformationssysteme

� Datawarehouse

� Call-Center

� Produktverwaltungssysteme

� Netz-Anwendungen

� Anwendungen f�ur den Finanz- und Kapitalanlagebereich

Literatur:

Sch�onleben, Paus, Leuzinger, Ruth: Innovative Gestaltung von Versicherungspro-dukten, Wiesbaden 1996


Besuch der Vorlesung: Einf�uhrung in die Versicherungsinformatik

66 4 VORLESUNGEN

Scheinvergabe:

Regelm�assiger Besuch der Vorlesung und Bestehen einer Abschlussklausur.

Sonstiges:

Weitere Informationen siehe: http://www.uni-leipzig.de/versicherungsinformatik 12


67

Versicherungsmathematik 1

Riedel, Manfred

Teilnehmerkreis:

wahlobligatorisch f�ur Studenten der Informatik mit dem Studienschwerpunkt Ver-sicherungsinformatik und den Studenten der Wirtschaftsinformatik

�Ubersicht:

Versicherungsmathematik bech�aftigt sich mit der Planung und Regulierung vonVersicherungsvertr�agen. Besonders in der Lebensversicherung ist es wichtig, die Be-ziehungen zwischen Pr�amie, Deckungskapital und Versicherungssumme zu unter-suchen. Anhand von zahlreichen Beispielen werden konkrete Versicherungsvertr�ageanalysiert.

Der erste Teil des Kurses besteht aus folgenden Teilen:

Einf�uhrung in die Finanzmathematik

Restlebensdauerverteilung

Kapitalversicherungen

Leibrenten

Nettopr�amie

Literatur:

Gerber, H. U.: Lebensversicherungsmathematik, Berlin, Springer 1986.

Gerber, H. U.: Life Insurance Mathematics, Berlin, Springer 1995.

Scheinvergabe:

Teilnehmerschein wird erteilt bei erfolgreicher Bearbeitung der �Ubungsaufgaben.

68 4 VORLESUNGEN

Verteilte Systeme

Irmscher, Klaus

Teilnehmerkreis:

Schwerpunkt Praktische Informatik, wahlobligatorisch

�Ubersicht:

1. Charakteristika und Konzepte verteilter Systeme

2. Netzwerk-Grundlagen (OSI, Internet, Socket)

3. Infrastruktur verteilter Systeme (Entwicklung, Middleware, Komponenten)

4. Charakteristika verteilter systeme (Kommunikationsmodelle, RPC, Synchro-nisation, Proze�management, Namensverwal-tung, verteilte Dateisysteme, Si-cherheit und Schutz)

5. Client/Server-Systeme (Architektur, Kooperation/F�oderation, Trading, Me-diator)

6. Verteilungsplattformen heterogener verteilter Systeme (OSF/DCE,OMG/CORBA, RMI/Java)

7. Referenzmodell ODP

8. Objektorientierter Softwareentwurf verteilter Systeme (Frameworks, UML,Business Objects)

9. Verteilte Anwendungen, u.a.

� X Windows

� Trading, Dienstemarkt, Mobile Distributed Computing

� Groupware-Systeme (CSCW)

� B�urokommunikation und -automatisierung (WfMS, EDI, ODA)

� Electronic Commerce (Telebanking, Teleshopping, e-cash)

Literatur:

� Borgho�, U.M.; Schlichter, J.H.: Rechnergest�utzte Gruppenarbeit - EineEinf�uhrung in Ver-teilte Anwendungen. Springer, 1995

� Orfali, R.; Harkey, D.: Client/Server Programming with JAVA and CORBA.New York: John Wiley & Sons, Inc. 1997

� Redlich, J.-P.: CORBA 2.0 - Praktische Einf�uhrung f�ur C++ und Java. Ad-dison Wesley, 1996

� Schill, A.: DCE - Das OSF Distributed Computing Environment., Springer,Berlin, 1997

� Weber, M.: Verteilte Systeme. Spektrum Akademischer Verlag. Heidelberg,1998

Sonstiges:

begleitend: Client/Server-Praktikum (RPC, CORBA, RMI/Java)

69

Videokommunikation �uber ATM und IP

H�an�gen, Klaus

Teilnehmerkreis:

Studenten der Informatik,interessierte Studenten und Mitarbeiter anderer Fachrichtungen

�Ubersicht:

1. gegenw�artige Situation in der Netzwerk-orientierten Kommunikation- Video-/Audio-/Image-/alphanumerische Daten- Netzwerkcharakteristika, Leistungsanforderungen f�ur Daten und Dienste- HS-Netz-M�oglichkeiten und -Grenzen2. Kommunikationsmodelle und -dienste- �Ubertragungs-, Anwendungs-, Steuerungsdienste- Berkom-Referenzmodell, OSI-Modell3. Multimedia- Medien, Digitalisierung, Speichermedien, Rechnerarchitektur- Kompressionsverfahren: MPEG, MJPEG, H261, fraktal, Wavelet, ...- Pr�asentationsm�oglichkeiten4. Netzwerk-Technik- Hochgeschwindigkeitsdatennetze- ATM-Grundlagen: �Ubertragungsverfahren, ATM-Kopplung, Standardisierung- Die Funktionen der einzelnen Schichtenphysikalische Schicht- �Ubertragungsanpassung, Medium, Verbindungsarten, Architekturen, Performance

ATM-Schicht- UNI, NNI, Zellentypen, Metasignalisierung, Benutzerebene, Managementebene,OAMAnpassungsschicht: AAL Typ 1-5, SAAL- Signalisierung: Adressierung, Kontrolle, Metasignalisierung- LAN-Anwendungen unter ATM: Verbindungsaufbau, Funktion, Abl�aufe; CIP,LANE, MPOA- ATM-Verkehrscharakteristik, Verkehrs-, Netzwerk-Management- Daten / Sprache / Image / Video, ATM-Service-Kategorien, Warteschlangen- Flu�- und Durchsatz-Kontrolle, Systemsicherheit, ILMI- Administration und Wartung, LAN, V-LAN, WAN5. Kommunikation- Protokolle und Dienste in den relevanten Schichten (Transport, Vermittlung)- GruppenkommunikationCollaborative Computing, Session-Management, Mbone, Datenbanken- Synchronisation, QoS, RSVP6. Anwendungen- Hypermedia, Internet, Telelearning, Videoconferencing, Video-Server, Ger�atef-ernsteuerung- Auswertung von Projekten des Lehrstuhls, des Instituts und der Universit�at

Literatur:

Schaphorst: Videoconferencing and Videotelephony - Technology and Standards;Artech House, Boston, London (96)Froitzheim: Multimedia-Kommunikation Dienste, Protokolle und Technik f�ur Tele-

70 4 VORLESUNGEN

kommunikation und Computernetze, dpunkt, Heidelberg (97)Steinmetz, Nahrstedt: Multimedia: Computing, Communications and Applications,Prentice Hall, Englewood (95)Steinmetz: Multimedia-Technologie: Einf�uhrung und Grundlagen, Springer, Berlin(93)Buford: Multimedia Systems, Addison Wesley, Reading (94)Kyas: ATM-Netzwerke, Datacom (95)de Prycker: Asysnchronous Transfer Modus, Prentice Hall (93)H�andel et al.: ATM Networks: Conepts, Protocols, Applications, Addison Wesley(94)Internet: White Papers, IEEE, ATM-Forum


Rechnernetze I und II

71

Wissensbasierte Systeme 1: Methodische Grundlagen

Brewka, Gerhard

Teilnehmerkreis:

Kernfachvorlesung f�ur den Schwerpunkt Angewandte Informatik

�Ubersicht:

Die Vorlesung f�uhrt ein in grundlegende Verfahren, die f�ur die ErstellungWissensba-sierter Systeme relevant sind. Nach einer kurzen Wiederholung wichtiger Grundbe-gri�e aus dem Bereich der klassischen Logik werden insbesondere folgende Themenbehandelt:

� Was ist K�unstliche Intelligenz?

� Probleml�osen und Suche,

� Wissensrepr�asentation und Inferenz in klassischer Logik,

� Techniken des nichtmonotonen Schliessens, insbesondere Reiters Default Lo-gik, und ihre Anwendungen,

� Modellbasierte Diagnose

� Probabilistisches Schliessen und Belief Networks,

� Wissensbasiertes Planen,

� Grundlagen des Maschinellen Lernens.

Literatur:

{ Stuart Russell, Peter Norvig: Arti�cial Intelligence, A Modern Approach,Prentice Hall, 1995

{ David Poole, Alan Mackworth, Randy Goebel: Computational Intelligence, ALogical Approach, Oxford University Press, 1998


Grundlagen klassischer Logik (wie sie etwa in der Logikgrundvorlesung vermitteltweden)

Sonstiges:

Skriptum kann �uber Lernserver bezogen werden

72 5 FACHSEMINARE UND PRAKTIKA

5 Fachseminare und Praktika

Automatisches Textverstehen

Quastho�, Uwe

Teilnehmerkreis:

Informatik-Studenten mit Studienschwerpunkt Automatische Sprachverarbeitung

�Ubersicht:

Das Seminar besch�aftigt sich mit M�oglichkeiten und Verfahren zum inhaltlichenVerstehen von Texten durch den Computer. Folgende Schwerpunkte werden behan-delt:

� Die Begri�sebene: Statistische Verfahren

� Die Satzebene: Von der syntaktischen zur semantischen Analyse

� Die Textebene:

� Anaphern-Au �osung

� Ein u� der Pragmatik

� Diskursrepr�asentation

� Verst�andnistests: Antwort-Generierung

� Beispiel: Das Projekt CYC

Literatur:

� van Benthem, Johan: Essays in logical semantics, 1986, Reidel, Signatur: K5304

� Cli�ord, James: Formal semantics and pragmatics for natural language que-rying, 1990, Univ. Press, Cambridge Signatur: K 7165

� Dietze, Joachim: Texterschlie�ung : lexikalische Semantik und Wissensre-pr�asentation, 1994, Saur, Signatur: K 6505 Pustejovsky, James (Hrsg.): Lexicalsemantics and knowledge representation, 1992, Springer, Signatur: K 6313


Grundkenntnisse auf den Gebieten Information Retrieval und Syntax

Scheinvergabe:

Teilnahme und Seminarvortrag

73

Client / Server-Praktikum


Teilnehmerkreis:


�Ubersicht:

� Socketprogrammierung

{ Komplexaufgabe

� RPC-Programmierung

{ Standard-RPC (im Vergleich mit Sockets)

� Verteilungsplattformen

{ CORBA

{ CORBA mit Internet-Anschlu� (IIOP)

{ Java RMI

� Komplexprogramm

{ Echo-Programm im Vergleich mit Socket, RPC, CORBA, Java/RMI

{ Anwendung XML

Literatur:

{ Borgho�, U.M.; Schlichter, J.H.: Rechnergest�utzte Gruppenarbeit - Eine

Einf�uhrung in Verteilte Anwendungen. Springer, 1995

{ Orfali, R.; Harkey, D.: Client/Server Programming with JAVA and CORBA.

New York: John Wiley & Sons, Inc. 1997

{ Redlich, J.-P.: CORBA 2.0 - Praktische Einf�uhrung f�ur C++ und Java. Ad-dison Wesley, 1996

{ Schill, A.: DCE - Das OSF Distributed Computing Environment. Springer,Berlin, 1997

{ Weber, M.: Verteilte Systeme. Spektrum Akademischer Verlag. Heidelberg,1998

Scheinvergabe:

Praktikums- /�Ubungsschein

Sonstiges:

Durchf�uhrung: CIP-Pools des IfI, Spezialpools am LS RN&VS (HG5-01, HG 5-26)


Diplomandenseminar

Heyer, Gerhard

Teilnehmerkreis:

Das Seminar richtet sich an fortgeschrittene Studenten im Hauptstudium mitdem Vertiefungsschwerpunkt Automatische Sprachverarbeitung, die im Laufe desn�achsten halben Jahres ihre Diplomarbeit beginnen oder abschlie�en werden.

�Ubersicht:

Die einzelnen Themen werden zusammen mit Referaten �uber laufende Forschungs-arbeiten der Abteilung f�ur Automatische Sprachverarbeitung detailliert dargestelltund diskutiert.

75

E-Commerce

Rahm, Erhard

Teilnehmerkreis:

Hauptstudium Diplomstudiengang Informatik (Schwerpunkt Praktische Informatik)und alle Interessenten

�Ubersicht:

In einer Reihe studentischer Vortr�age werden aktuelle Entwicklungen im BereichElectronic Commerce / Business behandelt.

Literatur:

Wird in der noch zu terminierenden Vorbesprechung bekanntgegeben.


Datenbanksysteme 1

Scheinvergabe:

regelm�a�ige Beteiligung, Vortrag, schriftliche Ausarbeitung im Internet


Elektronisches Publizieren

Quastho�,Uwe

Teilnehmerkreis:

Informatik-Studenten mit Studienschwerpunkt Automatische Sprachverarbeitung

�Ubersicht:

Ziel des Praktikums"Elektronisches Publizieren\ ist es in diesem Semester, ein

elektronisches Kollokationsw�orterbuch herzustellen, mit dem zu einem Begri� dieinhaltlich zusammenh�angenden Begri�e nachgeschlagen werden k�onnen. F�ur dieenglische Sprache ist ein Beispiel unter (titania.cobuild.collins.co.uk/collscd.html)verf�ugbar. Die notwendigen Daten stehen aus dem Projekt

"Deutscher Wortschatz\

(wortschatz.uni-leipzig.de) zur Verf�ugung, die Teilaufgaben setzen sich folgender-ma�en zusammen:

� Auswahl und Aufbereitung der Daten

� Design einer Browser-basierten Beutzerober �ache

� Implementierung der Benutzerschnittstelle

� Anbindung an die Datenbank

Literatur:

� titania.cobuild.collins.co.uk/collscd.html

� wortschatz.uni-leipzig.de

77

Forschungsseminar Bildverarbeitung und Computergra�k

Saupe, Dietmar und MA

Teilnehmerkreis:

Studenten h�oherer Semester, Diplomanden, Doktoranden, Mitarbeiter und G�aste

�Ubersicht:

Die Vortr�age zu aktuellen Themen der Bildverarbeitung und Computergra�k stehenallen Interessenten o�en.

Die jeweils aktuellen Vortragsthemen werden imWWW unter http://www.informatik.uni-

leipzig.de/cgip/cgip sem.html 13 und durch email bekanntgegeben. Interessenten,die in den email-Verteiler aufgenommen werden m�ochten, melden sich bitte [email protected].

13http://www.informatik.uni-leipzig.de/cgip/cgip sem.html


Informatikwerkstatt eines Vollversicheres

Koch, Gottfried/Bollen, (St. Gallen)

Teilnehmerkreis:


�Ubersicht:

Die Teilnehmer erhalten einen praktischen Einblick in:

� eine spezi�sche Entwicklungsumgebung (CASE-Tool)

� unternehmensspezi�sche Informatik-Werkzeuge

� technische Implementierungen von Versicherungsapplikationen

Literatur:

keine


Besuch der Vorlesung: Einf�uhrung in die Versicherungsinformatik.

Scheinvergabe:

Vollst�andiger Besuch dieses Blockseminars.

Sonstiges:

Weitere Informationen siehe auch: http://www.uni-leipzig.de/versicherungsinformatik14


79

KI-Diplomandenseminar

Brewka, Gerhard

Teilnehmerkreis:

Die Veranstaltung ist f�ur Diplomanden, Doktoranden und Mitarbeiter der Abt. In-telligente Systeme gedacht, sie ist aber auch o�en f�ur Interessierte im Hauptstudiummit gutem Hintergrundwissen in K�unstlicher Intelligenz.

�Ubersicht:

Diplomanden, Doktoranden und Mitarbeiter der Abt. Intelligente Systeme berichten

�uber aktuelle Entwicklungen, Resultate sowie �uber den Fortgang von Graduierungs-arbeiten.


Eine Teilnahme ist nur sinnvoll mit sehr gutem Hintergrundwissen im Bereich In-telligente Systeme.

Sonstiges:

Die Vortragstitel werden jeweils im Web auf den Seiten der Abteilung IntelligenteSysteme angek�undigt.


Lexikalische Semantik

Heyer, Gerahrd

Teilnehmerkreis:

Das Seminar richtet sich an fortgeschrittene Studenten im Hauptstudium mit demVertiefungsschwerpunkt Automatische Sprachverarbeitung.

�Ubersicht:

Anhand von kleinen Studienarbeiten in Projektgruppen sollen die Grundlagen derlexikalischen Semantik auf der Grundlage des Projekts

"Deutscher Wortschatz\ er-

arbeitet werden. Im einzenen werden behandelt: (1) Grundlagen der lexikalischenSemantik (2) Analyse- und Beschreibungsverfahren (3) Anwendungen im ProjektDeutscher Wortschatz

Literatur:

Die f�ur die Bearbeitung der einzelnen Aufgaben erforderliche Literatur wird gestellt.


Teilnahme Kernfachvorlesungen Computerlinguistik und Sprachprodukttechnolo-gie, m�oglichst Grundkurs ASV

Scheinvergabe:

benoteter Schein bei schriftlich ausgearbeitetem Referat

81

Multi-Agenten-Systeme

Brewka, Gerhard/Herre, Heinrich

Teilnehmerkreis:

Die Veranstaltung richtet sich an H�orer mit dem Vertiefungsgebiet AngewandteInformatik (insbesondere K�unstliche Intelligenz) oder Theoretische Informatik.

�Ubersicht:

Im Seminar sollen anhand von aktueller Literatur folgende grundlegende Fragener�ortert werden:

� Was ist ein (Software-) Agent?

� Wie lassen sich Agenten formal modellieren?

� Wie kooperieren Agenten?

� Wie l�asst sich gew�unschtes Systemverhalten durch Kooperation von Agentenerzeugen?

� Welche Anwendungen von Multi-Agenten-Systemen gibt es bisher?

Literatur:

Wird bei Seminarbeginn bekanntgegeben.


Logik-Grundkenntnisse, wie sie in der Logik-Grundvorlesung vermittelt werden.

Scheinvergabe:

Seminarvortrag und schriftliche Ausarbeitung.


Parallelisierende Compiler

R�unger, Gudula

Teilnehmerkreis:

Diplomstudiengang Informatik im Hauptstudium, Kernvorlesung Praktische Infor-matik

�Ubersicht:

Parallelisierende Compiler erzeugen ein parallel ausf�uhrbares Programm f�ur einespezielle parallele Plattform, indem sie ein vorhandenes sequentiellen Programm ge-eignet umstrukturieren. Im Seminar werden verschiedene Ans�atze aus dem Bereichder parallelisierenden Compiler besprochen. Schwerpunkte sind Datenabh�angig-keitsanalysen, Schleifenrestrukturierung, und Tiling.

Literatur:

� Michael Wolfe: High Performance Compilers for Parallel Computing. Addison-Wesley 1996

� Utpal Banerjee: Loop transformation for restructring compilers. Kluwer Aca-demic Publishers 1993

83

Praktikum Bild- und Signalverarbeitung

Saupe, Dietmar/Kuska, Jens-Peer

Teilnehmerkreis:

Studenten im Hauptstudium des Diplomstudiengangs Informatik.Obligatorische Veranstaltung f�ur Studenten der Studienrichtung

"Medizinische

Informatik\.

�Ubersicht:

In dem Praktikum werden Verfahren der Signal- und Bildverarbeitung in prakti-schen �Ubungen implementiert und ausgewertet. Nach einer Einf�uhrung in werdenfolgende Themen bearbeitet:

� Simulation und Analyse von Ultraschallechosignalen

� Computertomographie: Projektion und Schnittbildrekonstruktion

� 3D-Volumenbildverarbeitung am Beispiel von MR Gehirnscans

Im folgenden Sommersemester werden anschliessend spezielle Gebiete der medizini-schen Bildverarbeitung in einem Problemseminar im Rahmen der Studienrichtung

"Medizinische Informatik\ behandelt.

Literatur:

� A. K. Jain, Fundamentals of Digital Image Processing, Prentice-Hall, 1989.

� Th. Lehmann, W. Oberschelp, E. Pelikan, R. Repges, Bildverarbeitung f�urdie Medizin, Springer-Verlag, Heidelberg, 1997.

� B. J�ahne, Digitale Bildverarbeitung, 4. Au age, Springer-Verlag, 1997.

� MATLAB - The Language of Technical Computing, The Math Works, Inc,1998.


Grundlagen der Signal- und Bildverarbeitung, gute Programmierkenntnisse in C.

Scheinvergabe:

Erfolgreiche Bearbeitung der Aufgaben.


Probleme der Kognitionswissenschaft


Teilnehmerkreis:

Informatik-Studenten der Schwerpunkte Medizininformatik/Angewandte Informa-tik, aber auch der Psychologie, Linguistik, Biologie, Philosophie u.a.

�Ubersicht:

Computermodelle spielen in den verschiedenen Disziplinen, die sich mit kognitivenPh�anomenen befassen, eine immer gr�o�ere Rolle. Dies hat zur Herausbildung derKognitionswissenschaft gef�uhrt. Das Fachseminar dient der Vertiefung der Fragen,die in der Vorlesung

"Modellierung kognitiver Systeme\ behandelt werden. Dies

erfolgt anhand richtungsweisender Publikationen der Autoren A. Newell, H. Simon,M. Minsky, J. Searle, D. Dennet u.a. zum Fachgebiet..

Literatur:

� Kognitionswissenschaft: Grundlagen, Probleme, Perspektiven (Hrsg. D.M�unch). Frankfurt a.M. 1992

� Interdisziplin�are Perspektiven der Kognitionsforschung (Hrsg. H. Hildebrandtund E. Scheerer). Frankfurt a.M. 1993

Weitere Literatur wird im Seminar bekanntgegeben.


Vorlesung"Modellierung kognitiver Systeme\.

Scheinvergabe:

Voraussetzung ist, da� die Teilnehmer einen Vortrag mit schriftlicher Ausarbeitung

�uber ein spezielles Thema aus der Kognitionswissenschaft halten. Grundlage daf�urist eine Publikation der o.g. Autoren.

85

Praktikum Rechnernetze I (Internet-Praktikum)


Teilnehmerkreis:

Hauptstudium, Kernfach Technische Informatik, wahlobligatorisch

�Ubersicht:

� Standard-Werkzeuge zur Nutzung und Administrierung von Rechnernetzen

{ Rechnernetz-Tools

{ Automatisierte Netzdienste (u.a. automatisiertes FTP)

� Leistungsuntersuchung/Messung an Rechnernetz-Protokollen

{ Aufbau eines Modell-Netzes

{ Intranet, Firewalls, Kon�guration Web-Server, Proxy-Server

� World-Wide Web - Applikationen

{ Datenstrukturen im WWW (HTML, XML, VRML)

{ Interaktionen im WWW (CGI, JavaScript, Perl-Script, Applets)

Literatur:

{ Comer, E.; Stevens, D.L.: Internetworking with TCP/IP. Vol. II. PrenticeHall, 1991

{ Lockemann, P.; Kr�uger, G.; Krumm, H.: Telekommunikation & Datenhaltung.

Hanser, 1993

{ Maurer, R.: HTML und CGI-Programmierung. dpunkt, Heidelberg, 1997

{ Rose, M.T.: TCP/IP-Netze. Hanser-Verlag, 1994

{ Spaniol, O.; Jakobs, K.: Rechnerkommunikation: OSI-Referenzmodell, Diensteund Proto-kolle. VDI-Verlag, 1993

{ Tanenbaum, A.S.: Computer-Netzwerke. Prentice Hall, 1996

Scheinvergabe:

Praktikums-/�Ubungsschein

Sonstiges:

Durchf�uhrung: CIP-Pools des IfI, Spezialpools am LS RN&VS (HG5-01, HG 5-26)


Rechnernetze und Verteilte Systeme (Diplomandenseminar)

Irmscher, Klaus

Teilnehmerkreis:

Interessenten, Diplomanden am Lehrstuhl Rechnernetze und Verteilte Systeme

�Ubersicht:

Themenkomplexe f�ur Diplomarbeiten:

Hochgeschwindigkeitsnetze

Netzwerkprotokolle

Netzwerk-Management

Verteilungsplattformen (Middleware) z. B. CORBA, RMI

Entwurf objektorientierter verteilter Systeme

Internet, MBone und WWW

Multimedia-Applikationen

Virtuelle R�aume

Mobilkommunikation

Sonstiges:

siehe: http://www.informatik.uni-leipzig.de//i�/abteilungen/rnvs/diplomarbeiten/index.html

87

Sicherheit in Verteilten Systemen

Irmscher, Klaus

Teilnehmerkreis:


�Ubersicht:

� Architektur verteilter Systeme,

� Intranet,

� Firewall

� Verteilungsplattformen

� Sicherheit,

� Autorisierung,

� Authenti�zierung

� Verschl�usselung,

� digitale Signaturen

� Spezielle Sicherheitssysteme in verteilten Anwendungen (u.a. Kerberos)

� Spezi�sche Erweiterungen auf Anforderungen

Literatur:

� Borgho�, U.M.; Schlichter, J.H.: Rechnergest�utzte Gruppenarbeit - EineEinf�uhrung in Ver-teilte Anwendungen. Springer, 1995

� Orfali, R.; Harkey, D.: Client/Server Programming with JAVA and CORBA.New York: John Wiley & Sons, Inc. 1997

� Redlich, J.-P.: CORBA 2.0 - Praktische Einf�uhrung f�ur C++ und Java. Ad-dison Wesley, 1996

� Schill, A.: DCE - Das OSF Distributed Computing Environment., Springer,Berlin, 1997

� Weber, M.: Verteilte Systeme. Spektrum Akademischer Verlag. Heidelberg,1998

Scheinvergabe:

benoteter �Ubungsschein

Sonstiges:

Durchf�uhrung: Vortrag und Diskussion


Software-Ergonomie

Wol�, Christian

Teilnehmerkreis:

Studenten der Informatik im Haupt- und Nebenfach sowie Studierende benachbarterDisziplinen (insb. Psychologie).

�Ubersicht:

Das Seminar f�uhrt anhand von Einzelreferaten in die zentralen Themengebiete derSoftware-Ergonomie ein.

Dazu geh�oren:

� Psychologische und physiologische Grundlagen

� Modelle der Mensch-Maschine-Interaktion

� Leitf�aden, Standards und Normen ergonomischer Softwaregestaltung

� Die Rolle der Software-Ergonomie im Software-Entwicklungsproze�

� Grundlagen des Web- und Multimedia-Design

� Methodik und Praxis der Software-Evaluierung

Literatur:

Zur Einf�uhrung in den Themenbereich wird ie Lekt�ure von Shneiderman, Ben

(1997). Designing the User Interface, 3. Au age, Reading/MA et al.: Addison-

Wesley empfohlen.

Spezialliteratur wird f�ur die einzelnen Themen zur Verf�ugung gestellt.


Grundkenntnisse im Software Engineering sind w�unschenswert.

Scheinvergabe:

M�undlicher Vortrag im Seminar und schriftliche Ausarbeitung von Thesenpapierund Referat.

Sonstiges:

Es werden sowohl theoretische als auch praktische Themen (z. B. zur Evaluierung)angeboten. Die Vorstellung und Vergabe der Themen erfolgt in der ersten Seminar-sitzung.

89

Theorie-Seminar

Gerber, Siegmar; Herre, Heinrich

Teilnehmerkreis:

Studenten h�oherer Semester, Diplomanden, Doktoranden, Mitarbeiter und G�aste.

�Ubersicht:

Die jeweils aktuellen Vortragsthemen werden imWWW unter http://www.informatik.uni-

leipzig.de 15 und durch Aushang bekanntgegeben.


Die Vortr�age zu Themen der Theoretischen Informatik stehen allen Interessenteno�en.

15http://www.informatik.uni-leipzig.de


Versicherungsinformatik

Eisner, (Alte Leipziger)

Teilnehmerkreis:


�Ubersicht:

Die Teilnehmer erhalten in den R�aumen der Alten Leipziger Versicherung einenUeberblick �uber opertationale Versicherungs-Informationssysteme sowie eine Dar-stellerung deren Entwicklungsprojekte und Entwicklungsumgebung.


Besuch der Vorlesung: Einf�uhrung in die Versicherungsinformatik.

Scheinvergabe:

Vollst�andiger Besuch dieses Blockseminars.

Sonstiges:

Weiter Informationen siehe auch: http://www.uni-leipzig.de/versicherungsinformatik16


91

Wissensmodellierung

Herre, Heinrich/Heller,(IMISE)

Teilnehmerkreis:

Studenten mit Haupt- oder Nebenfach Informatik. Das Seminar ist dem Schwer-punkt angewandte und medizinische Informatik zugeordnet.

�Ubersicht:

Auf dem Seminar werden anhand von Vortr�agen grundlegende Methoden und Prin-zipien der Wissensmodellierung erarbeitet. Schwerpunkte des Seminars sind dieWissensaquisition und die ontologische Fundierung von Grundbegri�en der Mo-dellierungsebene.

Literatur:

Die Literatur wird zu Beginn des Seminars bekanntgegeben.

Scheinvergabe:

Seminarvortrag


Work ow-Praktikum

Rahm, Erhard / M�uller, Robert

Teilnehmerkreis:

Diplomstudieng�ange Informatik Hauptstudium (ab 7. Semester), SchwerpunktPraktische Informatik (Interessenten anderer Studieng�ange k�onnen nur bei nochfreien Pl�atzen ber�ucksichtigt werden)

�Ubersicht:

Das Praktikum behandelt Konzepte, Architekturen und Implementierungstechnikenf�ur Work ow-Management-Systeme. Neben der eigentlichen Work ow-Thematiksollen im Praktikum auch Aspekte erweiterter Transaktionsmodelle und hetero-gener Datenbanken vertieft werden. Abh�angig von der Teilnehmeranzahl und derInteressenlage der einzelnen Gruppen soll eine Auswahl bzgl. der folgenden Aspektebehandelt werden:

� Work ow-orientierte Anwendungs-Modellierung

� Konzeption und Implementierung eines Editors f�ur Work ow-De�nitionen

� Konzeption und Implementierung einer prototypischen Work ow-Engine zurAusf�uhrung von Work ow-De�nitionen

� Konzeption und Implementierung eines Transaktions-Modells zur Work ow-Ausf�uhrung (z.B. Forward Recovery, Lockerung der Isolation durch Isolati-onspr�adikate, Verwendung von 2PC-Protokollen)

� Integration der Work ow-Engine in eine heterogene und verteilte Umgebungunter Verwendung einer Middleware

Zur Realisierung sollen u.a. die folgenden Systeme verwendet werden: IBM MQSe-ries Work ow, DB2, O2, Orbix Corba, Orbix Transaction Manager

Literatur:

siehe Online-Vorlesungsskript zur Vorlesung Work ow-Management-Systeme unter

http://www.informatik.uni-leipzig.de/i�/abteilungen/db/frame/db-

lernmaterial.html


Vorlesung Work ow-Management-Systeme; alternativ auch Datenbanksysteme 2 +DB-Praktikum

Scheinvergabe:

Bei erfolgreicher Bearbeitung der gestellten Aufgabe wird ein ausf�uhrlicher Scheinerteilt.

Sonstiges:

Praktikum im Umfang von 4 SWS. Aktuelle Ank�undigungen zur Vorbesprechungetc. �nden sich am Anschlagbrett im Hauptgeb�aude, gegen�uber Raum 3-03, bzw.im World-Wide-Web:

http://www.informatik.uni-leipzig.de/i�/abteilungen/db/frame/db-lehre.html

�Uber diese Webseite kann auch eine elektronische Anmeldung ab 19.7.99 erfolgen.

93

6 Anlagen

ZENTRALMENSAUNIVERSITÄTSBUCHHANDLUNG

2

SEMINARGEBÄUDE3

1 HAUPTGEBÄUDE DER UNIVERSITÄT

1. Etage: Informatik u.a.2. Etage: Informatik, Uni-Rechenzentrum u.a.3. Etage: Informatik. Mathematik, u.a.

5. Etage: Informatik, Physik, Chemie u.a.4. Etage: Mathematik, NTZ u.a.

HOCHHAUS5

MORITZBASTEIJugend- und Studentenclub

6

3

2

1

4a4

5

Neues Gewandhaus Augustusplatz

6

Universitätsstraße

4 HÖRSAALGEBÄUDEZweigstelle der Universitätsbibliothek

Universitätskomplex am Augustusplatz

4aRechner-PoolsKELLER- u. ZWISCHENGESCHOSS

94 6 ANLAGEN

Üb

ers

ich

t D

iplo

mst

ud

ien

ga

ng

In

form

atik

❑m

öglic

he N

eben

fäch

er: B

etrie

bsw

irtsc

hafts

lehr

e, M

athe

mat

ik, P

hysi

k, S

prac

hwis

sens

chaf

t;so

nstig

e F

äche

r au

f Ant

rag

❑S

tudi

ensc

hwer

punk

te: A

ngew

andt

e In

form

atik

, Aut

omat

isch

e S

prac

hver

arbe

itung

, Inf

orm

atik

im V

ersi

cher

ungs

wes

en, P

rakt

isch

e In

form

atik

, The

oret

isch

e In

form

atik

Gru

ndst

udiu

mH

aupt

stud

ium

1. S

em.

2

. Sem

.

3. S

em.

4

. Sem

.5.

Sem

.

6. S

em.

7

. Sem

.

8. S

em.

9. S

em.

10. S

em.

Pra

ktis

che

Info

rmat

ik18

SW

SK

ern:

Pra

ktis

che

Info

rmat

ik10

SW

S

Har

d- u

nd S

oftw

are-

Gru

ndla

gen

12 S

WS

Ker

n: T

echn

isch

e In

form

atik

10 S

WS

Pra

ktik

a12

SW

SK

ern:

Ang

ewan

dte

Info

rmat

ik10

SW

SD

iplo

mar

-be

it

The

oret

isch

e In

form

atik

12 S

WS

Ker

n: T

heor

etis

che

Info

rmat

ik10

SW

S

Mat

hem

atik

20S

WS

Stu

dien

schw

erpu

nkt i

nkl.

2 P

robl

emse

min

aren

: 32

SW

S

Ber

ufsp

rakt

ikum

(4

Mon

ate)

Neb

enfa

ch12

SW

SN

eben

fach

12S

WS

95

Stu

die

nri

chtu

ng

„M

ed

izin

isch

e I

nfo

rma

tik“

Die

Stu

dien

richt

ung

ist i

n de

n D

iplo

mst

udie

ngan

g in

tegr

iert

und

bei

nhal

tet d

as o

blig

ator

isch

e N

eben

fach

Bio

med

izin

sow

ie d

en S

tudi

ensc

hwer

punk

t Med

izin

info

rmat

ik. B

eruf

spra

ktik

um u

nd D

iplo

mar

beit

erfo

rder

n da

nebe

n ei

nen

med

izin

isch

en B

ezug

.

Gru

ndst

udiu

mH

aupt

stud

ium

1. S

em.

2

. Sem

.

3. S

em.

4

. Sem

.5.

Sem

.

6. S

em.

7

. Sem

.

8. S

em.

9. S

em.

10. S

em.

Pra

ktis

che

Info

rmat

ik18

SW

SK

ern:

Pra

ktis

che

Info

rmat

ik10

SW

S

Har

d- u

nd S

oftw

are-

Gru

ndla

gen

12 S

WS

Ker

n: T

echn

isch

e In

form

atik

10 S

WS

Pra

ktik

a12

SW

SK

ern:

Ang

ewan

dte

Info

rmat

ik10

SW

SD

iplo

mar

-be

it

The

oret

isch

e In

form

atik

12 S

WS

Ker

n: T

heor

etis

che

Info

rmat

ik10

SW

S

Mat

hem

atik

20S

WS

Stu

dien

schw

erpu

nkt M

ediz

inin

form

atik

32S

WS

+B

eruf

spra

ktik

um in

ein

er m

ediz

inre

leva

nten

Ein

richt

ung

(m

inde

sten

s 4

Mon

ate)

Neb

enfa

ch B

iom

ediz

in12

SW

SN

eben

fach

Bio

med

izin

12S

WS

96 6 ANLAGEN

Magisterstudium - 2. Hauptfach Informatik

Studienablaufplan (dieser Ablaufplan tr�agt empfehlenden Charakter)

Grundstudium

V+�U(SWS)

1. Semester

Digitale Informationsverarbeitung 4 + 2Basiskurs Algebra 4 + 2

2. Semester

Algorithmen und Datenstrukturen 1 2 + 1Programmierpraktikum 4Aufbaukurs Mathematik (Analysis, Numerik) 2 + 1

3. Semester

Algorithmen und Datenstrukturen 2 2 + 1Datenbanksysteme 1 2 + 1Wahlp ichtveranstaltungen gem�a� x10(1)

4. Semester

Wahlp ichtveranstaltungen gem�a� x10(1)

Hauptstudium

Auf die einzelnen Bereiche entfallen folgende Wahlp ichtveranstaltungen (Wpf.):

Bereiche Wpf.

Theoretische Informatik oder Technische Informatik 8 SWSPraktische Informatik oder Angewandte Informatik 8 SWSSchwerpunktbereich 20 SWS

Die den Kernbereichen zugeordneten Wahlp ichtveranstaltungen sind u.a.:

Bereich Theoretische Informatik

Berechenbarkeit, logische und funktionale Programmierung, Deduktionssysteme,Grundlagen der Programmveri�kation, Kryptographie, Termersetzungssysteme,Petri-Netze, Grundlagen der algebraischen Semantik, Algebraische Grundlagen derInformatik, u.a.

Bereich Technische Informatik

Systemprogrammierung, Rechnerarchitektur, Rechnernetze, Eingebettete Systeme,u.a.

Bereich Praktische Informatik

Datenbanksysteme, Softwaretechnologie, Parallelverarbeitung, Computergraphik,Compilerbau, Verteilte Systeme, u.a.

Bereich Angewandte Informatik

Bild- und Signalverarbeitung, Wissensbasierte Systeme, Neuroinformatik, Com-puteralgebra, Telematik, Electronic Publishing, Grundlagen der AutomatischenSprachverarbeitung, Robotik, u.a.

97

Magisterstudium - Nebenfach Informatik

Studienablaufplan (dieser Ablaufplan tr�agt empfehlenden Charakter)

Grundstudium

V+�U(SWS)

1. Semester

Digitale Informationsverarbeitung 4 + 22. Semester

Algorithmen und Datenstrukturen 1 2 + 1Mathematik 2 + 1

3. Semester

Algorithmen und Datenstrukturen 2 2 + 14. Semester

Programmierpraktikum 3

Hauptstudium

Wahlp ichtveranstaltungen gem�a� x10(2) ohne Semesterbindung (18 SWS). Auf dieeinzelnen Bereiche entfallen folgende Wahlp ichtveranstaltungen (Wpf.):

Bereiche Wpf.

Theoretische Informatik oder Technische Informatik 9 SWSPraktische Informatik oder Angewandte Informatik 9 SWS

Die den Kernbereichen zugeordneten Wahlp ichtveranstaltungen sind u.a.:

Bereich Theoretische Informatik

Logik, Automaten und formale Sprachen, Berechenbarkeit, logische und funktio-nale Programmierung, Deduktionssysteme, Grundlagen der Programmveri�kation,Kryptographie, Termersetzungssysteme, Petri-Netze, Grundlagen der algebraischenSemantik, Algebraische Grundlagen der Informatik, u.a.

Bereich Technische Informatik

Rechneraufbau, Systemprogrammierung, Rechnerarchitektur, Rechnernetze, Ein-gebettete Systeme, u.a.

Bereich Praktische Informatik

Datenbanksysteme, Softwaretechnologie, Betriebssysteme, Parallelverarbeitung,Computergraphik, Compilerbau, Verteilte Systeme, u.a.

Bereich Angewandte Informatik

Bild- und Signalverarbeitung, Wissensbasierte Systeme, Neuroinformatik, Com-puteralgebra, Telematik, Electronic Publishing, Grundlagen der AutomatischenSprachverarbeitung, Robotik, u.a.

Documents

Inhaltsv - Dokumentenserverlips.informatik.uni-leipzig.de/files/1999-41.pdf · Managemen tv on Informatikpro jekten in V ersic herungsun ternehmen 1. 46 Mehrrec ... on Klinik ern,