Institut für Informatik (IfI) LernServer (Archiv)

Lehrveranstaltung	Dozent	Skript / Folien	Übungsaufgaben	Sonstiges
3D-Computergraphik unter OpenGL SS 2000	Jens-Peer Kuska	Hinweise und Materialien
Algebraische Spezifikation	Rolf Hartwig	Skript
Algorithmen und Datenstrukturen (Magister) SS 2000	Ralf Der	Folien und Übungen		Weitere Informationen Klausurergebnisse
Algorithmen und Datenstrukturen SS 2000	Gerhard Heyer	Folien	Übungsaufgaben	Organisatorisches Zulassung zur Übungsklausur Ergebnisse der Übungsklausur Ergebnisse der Wiederholungs-Übungsklausur
Algorithmen und Datenstrukturen SS 1999	Dietmar Saupe		Übungen und Termine	Ergebnisse Wiederholungs-Klausur
Algorithmen und Datenstrukturen SS 1998	Gerhard Brewka	Folien & Übungsaufgaben
Algorithmen und Datenstrukturen SS 1997	Siegmar Gerber	Skript
Automaten und Formale Sprachen SS 1998	Siegmar Gerber	Skript & Übungsaufgaben
Automaten und Formale Sprachen SS 1997	Heinrich Herre		Übungen
Automatisierung des Schaltkreisentwurfs SS 2000	Udo Kebschull	Skript
Autonome Roboter	Ralf Der
Berechenbarkeits - und Komplexitätstheorie WS 1998/99	Siegmar Gerber	Folien	Übungen	Ergänzungen
Berechenbarkeits - und Komplexitätstheorie WS 1997/98	Gerhard Brewka		Übungsblätter Übungen SS 1996
Betriebssysteme und Compilertechnik WS 1999/00	Gudula Rünger		Termine und Aufgaben für die Übungen
Bild- und Signalverarbeitung II SS 1999	Dietmar Saupe	Übungsaufgaben und Materialien
Bildverarbeitung SS 2000	Dietmar Saupe Raouf Hamzaoui		Übungen
Bildverarbeitung WS 1998/99	Dietmar Saupe	Themen und Literatur
Computerlinguistik	Gerhard Heyer	Folien (MS-Word-Document about 1 MB)
Data Warehousing und Data Mining	Erhard Rahm	Informationen
Datenbankeinsatz im Internet	Erhard Rahm	Informationen
Datenbanksysteme 1	Erhard Rahm	Folien	Übungen	weitere Informationsquellen
Datenbanksysteme 2	Erhard Rahm	Folien	Übungen	weitere Informationsquellen
Datenintegration	Erhard Rahm	Informationen
Datenschutz und Datensicherheit	Dieter Sosna	Skript		Clark-Wilson-Modell
Digitale Informationsverarbeitung WS 1999/00	Gerhard Heyer	Folien	Übungsaufgaben Konsultationen	Ergebnisse Wiederholungs-Prüfungsklausur Ergebnisse Prüfungsklausur Ergebnisse Wiederholungs-Klausur Ergebnisse Übungsklausur Ablauf Organisatorisches
Digitale Informationsverarbeitung WS 1998/99	Dietmar Saupe		Übungen und Termine	Wiederholungs-Klausur-Ergebnisse (PostScript)
Digitale Informationsverarbeitung	Siegmar Gerber	Skript
Digitale Informationsverarbeitung für Informatiker WS 1997/98	Gerhard Brewka	Folien & Übungsblätter		Arbeiten im HP-Pool des URZ
Digitale Informationsverarbeitung für Wirtschaftsinformatiker WS 1999/00	Andreas Schierwagen	Folien
Digitale Informationsverarbeitung (Informatik im Nebenfach) WS 1999/00	Ralf Der			Ergebnisse Klausur
Einführung in das symbolische Rechnen	Hans-Gert Gräbe	Web-Seite
Electronic Commerce	Erhard Rahm	Informationen
Elektronik-Grundlagenpraktikum WS 1998/99	Hans-Joachim Lieske			Praktikumsanleitungen
Elektronische Bibliotheken	Erhard Rahm	Informationen
Ereignisgesteuerte Simulation WS 1997/98	Klaus Hering	Einführung		Vortragsthemen
Formale Semantik SS 2000	Siegmar Gerber	Skript
Formale Semantik	Rolf Hartwig	Skript
Funktionale Programmierung 1 SS 2000	Siegmar Gerber Michael Hartwig	Skript
Geo-Informationssysteme I	Dieter Sosna
Geo-Informationssysteme II SS 1999	Dieter Sosna	Kartennetz-Entwürfe
Grundlagen der algebraischen Semantik	Rolf Hartwig	Skript
Grundlagen der Datenkompression WS 1999/00	Dietmar Saupe Raouf Hamzaoui			Klausurergebnisse
Grundlagen der Programmverifkation	Rolf Hartwig	Skript
Grundlagen der Technischen Informatik 1 WS 1999/00	Udo Kebschull	Skript	Übungen
Grundlagen der Technischen Informatik 2 SS 2000	Udo Kebschull	Skript	Übungen
Implementierung von Datenbanksysteme 1	Erhard Rahm	Online-Skript		zugehöriges Lehrbuch
Implementierung von Datenbanksysteme 2	Erhard Rahm	Online-Skript		zugehöriges Lehrbuch
Java: Softwarearchitektur und Programmiersprache WS 1997/98	Christian Wolff	Skripte		Literaturempfehlungen
Logik SS 1999	Siegmar Gerber	Skript
Mehrrechnerdatenbanksysteme	Erhard Rahm	Folien		Online-Buch
Mengentheoretisch-algebraische Grundlagen WS 1997/98	Siegmar Gerber	Skript & Aufgaben
Mengentheoretisch-algebraische Grundlagen WS 1998/99	Heinrich Herre	Skripte & Übungen
Mikrorechnertechnik WS 1999/00	Udo Kebschull	Skript
Modellierung kognitiver Systeme WS 1999/00	Andreas Schierwagen	Folien
Neuroinformatik WS 1997/98	Ralf Der	Skripte
Parallele ereignisgesteuerte Simulation WS 1998/99	Klaus Hering	Folien
Petri-Netze WS 1997/98	Siegmar Gerber	Skript (PostScript)
Programmier-Praktikum SS 2000	Monika Meiler	Materialien
Programmierung und Programmiersprachen WS 1999/00	Gerhard Brewka	Folien & Übungsblätter
Programmierung und Programmiersprachen	Siegmar Gerber	Skript
Programmierung und Programmiersprachen	Erhard Rahm	Folien	Übungen
Rechnerarchitektur (Praktikum) WS 1999/00	Udo Kebschull / Paul Herrmann			Termine
Rechnerarchitektur 1 WS 1999/00	Udo Kebschull	Skript
Rechnerarchitektur 2 SS 2000	Udo Kebschull	Skript
Rechnernetze 1 WS 1999/00	Klaus Irmscher	Skript
Rechnernetze 2 WS 1999	Klaus Irmscher	Skript
Robotik WS 1997/98	Ralf Der	Skripte
Signalverarbeitung WS 1999/00	Dietmar Saupe		Übungsaufgaben
Software Engineering	Gerd Goldammer	Manuskript
Sprachgesteuerte Mensch-Maschine-Kommunikation WS 1997/98	Uwe Quasthoff	Folien
Sprachprodukttechnologie WS 1999/00	Gerhard Heyer		Skript
Standard-Software SS 2000	Klaus Irmscher	Skript
Symbolisches Rechnen	Hans-Gert Gräbe	Web-Seite
Term Rewriting WS 1997/98	Rolf Hartwig	Skript
Verteilte Systeme WS 1999/00	Klaus Irmscher	Skript	Client-Server-Praktika
Wissensbasierte Systeme WS 1997/98	Gerhard Brewka	Folien
Workflow-Management-Systeme	Erhard Rahm / Robert Müller	Online-Skript

Impressum:
Herausgeber: Universität Leipzig, Institut für Informatik
Seitenbetreuer: Andreas Zerbst (e-mail: zerbst@informatik.uni-leipzig.de)
Letzte Änderung: 29.09.00
Status: permanent