Informatik-Studium

an der Universität-Leipzig.

Hauptstudium (2006.WS)

Practical Applications of Data Structures and Algorithms
mit John Paxton.
- Homepage

Hauptstudium (2006.SS)

Stundenplan: Kernfächer, Schwerpunkt
Topic Map Praktikum
mit Lutz Maicher.
- Homepage
- XTM (XML Topic Maps) Spezifikation
Datenanalyse in der Magnetresonanztomographie
- Folien
Mobile ad-hoc-Netze
mit Christoph Lindemann.
- Homepage
Visualisierung in Biologie und Medizin
mit Gerik Scheuermann.
- Homepage
Visualisierung in Natur- und Technikwissenschaften
mit Gerik Scheuermann.
- Homepage
Graphentheorie
mit Peter F. Stadler
- Homepage

Hauptstudium (2005.WS)

Stundenplan: Kernfächer, Schwerpunkt

Hauptstudium (2005.SS)

Stundenplan: Kernfächer [Quelle], Schwerpunkt [Quelle]
Diskrete Strukturen und Codierungsheorie
von Manfred Droste.
Formalsprachliche Grundlagen des DNA-Computing
von Dietrich Kuske.
Inhaltsbasierte Suche in P2P-Netzwerken
von Friedrich Witschel.
- Homepage der Vorlesung
Wissensrepräsentation
von Gerhard Brewka.
- Homepage der Vorlesung
- Mitschrift
Evolutionäre Optimierung
von Peter Stadler.

Hauptstudium (2004.WS)

teaching guide (Entwurf)
Stundenplan: Kernfächer [Quelle], Schwerpunkt [Quelle]
Nebenläufige Prozesse - Spurtheorie
von Manfred Droste.
Semantik von Programmiersprachen
Zellularautomaten
von Daniel Merkle und Martin Middendorf.
Französisch F14
von Jens Stellmacher.
- Notizen

Hauptstudium (2004.SS)

teaching guide (Entwurf)
Stundenplan: Kernfächer [Quelle], Schwerpunkt [Quelle]
Ausgewählte Kapitel der Softwaretechnologie: Testen
von Volker Gruhn und Sami Beydeda.
- Homepage
- Folien
- Klausur:
  - Datum: 2004.09.27:09.00
  - Ort: Jahnalle, Hörsaal Süd
  - Dauer: 60 Minuten
Parallele Algorithmen
von Martin Middendorf.
- Übersicht
- Materialien
- Übungen
- Prüfung: mündlich
  - Datum: 2004.08.05:09.30
  - Ort: ??
  - Dauer: 15 Minuten?
- andere Folien
Algebraische Automatentheorie
von Manfred Droste.
- Übungsblätter
- Mitschrift von Matthias Quasthoff
- Klausur am 09.06.2004
  - Referenz (Größe: A3, auf A4 skalieren zum Drucken)
- Klausur am 14.07.2004
  - Referenz (Größe: A2, auf A4 skalieren zum Drucken)
  - Datum: 2004.07.14:09.00
  - Ort: Hörsaal 5
  - Dauer: 60 Minuten?
Grundlagen der Wissensrepräsentation
von Gerhard Brewka.
- Folien
3D-Computergrafik mit OpenGL
von Jens-Peer Kuska.
- Homepage
- JavaOpenGL
- Prüfung: mündlich 10.08.2004..12.08.2004
Einführung in die VHDL
von Oliver Bringmann.
- Materialien
- alte Materialien (aus 2003.WS)
Verteilte und nebenläufige Programmierung
von Thomas Riechert.
- Homepage
- W3L
- Prüfungsklausur am 28.07.2004
  - Datum: 2004.07.28:15.00
  - Ort: Hörsaal 13
  - Dauer: 45 Minuten
- Prüfungsergebnisse
Neuronale Netze
von Ralf Der.
- Skript
- Vorlesungsbeschreibung
- Übung Serie 1,2,3
- Prüfung: wahrschenlich mündlich 7.10.2004 oder 8.10.2004
Gesellschaft und Informatik
organisiert vom Fachschaftsrat Informatik.
- Homepage
- Vortrag

Genetische Algorithmen
von Uwe Quasthoff
- Homepage
- Skript aus 2002.SS
- Pflanzen und Fresser
- Prüfung: wahrschenlich im September
Evolutionäre Optimierung
von Peter Stadler.
- Homepage
- IZBI
- Simulated Annealing
- Shaking a Box of Sand (Peter F. Stadler, Anita Mehta, Jean-Marc Luck)
Graphentheorie in der Bioinformatik
von Peter Stadler.
Mikrorechnertechnik
von Oliver Bringmann.
- Materialien
- alte Materialien (aus 2002.SS)
Bachelor-Praktikum
mit Martin Middendorf.
- Wiki
- JiST-Homepage (lokal)
- JiST-API-Dokumentation (lokal)
Rechner-Netze
- Magdeburg
- Ad-hoc-Netzwerk-Simulation

Hauptstudium (2003.WS)

Stundenplan: Kernfächer [Quelle], Schwerpunkt [Quelle]
Diskussionsgruppe inf01
Prüfungsplan
Signalverarbeitung
von Frithjof Kruggel
- Folien
- Übung
- Übungsmaterialen aus dem Jahre 2002
- Prüfung: 09.02.2004, 09:00..11:00, HS 12
Entwurf hochintegrierter Schaltungen
- Folien
- Format-Spezifikation: Espresso
- Format-Spezifikation: BLIF (Berkeley Logic Interchange Format)
- Format-Spezifikation: KISS
- Prüfung: 23.02.2004, 11:00, HS 13
Rechnerarchitektur
- Folien
- Prüfung: 23.02.2004, 11:00, HS 13
Praktikum wissensbasierte Systeme
von Gabriele Kern-Isberner und Gerhard Brewka
Theoretische Grundlagen wissensbasierte Systeme
von Gabriele Kern-Isberner
- Folien
- Folien
- Prüfung: 11.02.2004, 08:30, HS 18
Anwendungen in XML
von Maik Thränert
- Folien
- Folien
- Lernziele
- Prüfung: 16.02.2004, 09:00, HS 13
  - Ergebnisse
Problemseminar: Peer-to-peer data management
von Erhard Rahm
- Homepage
- Ausarbeitung zum Vortrag
- Folien zum Vortrag
Problemseminar: Semantic Web
von Gerhard Brewka und Heinrich Herre
- Vortrag
- Handout
Formale Ontologie für Informationssysteme
von Heinrich Herre
- Mitschrift von Hannes Michalek
- Prüfung: mündlich, nach Vereinbarung
Wissenschaftliche Visualisierung
von Jens-Peer Kuska
- Homepage
- Prüfung: mündlich, nach Vereinbarung
Mehrrechner-Datenbanksysteme
von Erhard Rahm
- Homepage
- Prüfung: 12.02.2004, 14:00, HS 11

4. Semester (2003.SS)

Stundenplan [Quelle]
Diskussionsgruppe inf01
Andere Informations-Seiten:
Algorithmen und Datenstrukturen 2
von Uwe Quasthoff
- Vorlesungsfolien
- Übungen
- Prüfung: 30.07.2003, 13:00..15:30
  - Ergebnisse
Berechenbarkeit und Komplexität
von Hans Tompits
- Folien
- Übungen (Johannes Waldmann)
- Übungen (Rolf Hartwig)
- Autotool
- Übungsscheinerteilungsquote: 50% (bei nicht regelmäßiger Übungs-Teilnahme: 70%)
- Prüfung: 28.07.2003, 13:00..15:30, HS13 + HS14
  - Ergebnisse
Datenbanksysteme 1
von Erhard Rahm
- Homepage
- Skript
- SQL-Trainer
- Zwischenklausur: 24.05.2003, 10:30..11:15, HS13
- Klausur: 23.07.2003
  - Ergebnisse
Kommunikationssysteme
von Klaus Irmscher
- Folien aus 2001 in HTML
- Übungen
- Prüfung: 24.07.2003, 11:00..13:30, HS19
  - Klausurthemen
- Resourcen zum Thema:
  - Little-Gesetz
Softwaretechnik-Praktikum
von Hans-Gert Gräbe
Stochastik
von Manfred Wollenberg
- Übungen
- Skript (inoffiziell)
- Stichwortverzeichnis
- Übungsscheine:
  - Übungsscheinerteilungsquote: 50%
  - Der Übungsschein ist Voraussetzung für die Klausur
- Prüfung: 21.07.2003, 15:00..16:30, HS13+HS19
  - Ergebnisse
- Resourcen zum Thema:
  - Wahrscheinlichkeitsverteilungen

2. Semester (2003.SS)

Stundenplan [Quelle]
Informatik-Forum
Uni-Board
Analysis für Informatiker
von Thomas Kühn
- Übungen
- Prüfung (voraussichtlich): 19.07.2003, 8:00..10:00, HS13
  - Ergebnisse
- Resourcen:
  - Taylor- und Potenzreihen
C-Programmierpraktikum
von Monika Meiler
- Homepage
Java-Programmierpraktikum
von Clemens Schäfer und Matthias Book
- Homepage
- Vorlesung
- Übungen
- Forum
Grundlagen der Technischen Informatik 2
von Martin Middendorf
- Skript
- Übungen
- Übungsscheinerteilungsquote: 60%
- Prüfung:
  - Ergebnisse
Logik
von Gerhard Brewka
- Übungen
- Deutsch-Englisch Wörterbuch für Logik und Mengenlehre
- Übungsscheinerteilungsquote: 50% (bei nicht regelmäßiger Übungs-Teilnahme: 70%)
- Prüfung: 25.07.2003, 13:00..15:30, HS13+HS14
  - Ergebnisse
Programmierung und Programmiersprachen
von Volker Gruhn
- Homepage
- Vorlesungs-Folien
- Übungen
- Übungsscheine:
  - Übungsscheinerteilungsquote: 65%
  - Liegt die erreichet Punktzahl unter 65% aber nicht unter 50%, so wird ein Übungsschein erteilt nach eventueller vorheriger mündlicher Prüfung.
  - Übungsscheine sind Vorraussetzung für die Klausur.
- Prüfungs-Klausur:
  - Dienstag, 22. Juli 2003, 13:00 Uhr .. 15:30 Uhr (2 Stunden Bearbeitungszeit), Hörsääle 19 und 20.
  - Ergebnisse

3. Semester (2002.WS)

Stundenplan
Diskussionsgruppe inf01
Andere Informations-Seiten:
- Arnuschkys Studium Page
Algorithmen und Datenstrukturen 1
- Vorlesungsfolien
- Übungen
- Seminarmaterial
- Übungsklausurzulassungsquote: 50%
- Übungsscheinklausur:
  - Datum: Montag, 3. Februar 2003, 11:15..12:45, Hörsaal 13
  - Wiederholungsklausur: Freitag, 4. April 2003
Numerik
von Peter Kunkel
- Übungen
- Mitschrift von Matthias Quasthoff
- Mitschrift von Scripts4All
- Skript aus dem SS 2000
- Prüfungsklausur:
  - Datum: 10. Februar 2003
  - Ergebnisse
Betriebssysteme
von Klaus Irmscher
- Script in HTML
- Übungen
- Übungsscheinerteilungsquote: 60%
Automaten und Formale Sprachen
von Siegmar Gerber
- Vorlesungsskript
- Vorlesungsfolien (oder als HTML)
- Übungen
- Übungen
- Tips zu den Übungen aus dem Wintersemester 2001
- Seminarveranstalter Johannes Waldmann und Rolf Hartwig
- Autotool-Statistiken und -Highscores
- Übungsscheinerteilungsquote: 50% (bei nicht regelmäßiger Übungs-Teilnahme: 70%)
Software-Technik
von Klaus-Peter Fähnrich
- Homepage
- Vorlesungsfolien vom 18.10.2002 (oder hier)
- Übungen zum 01.11.2002 (oder hier)
- Klausurzulassungsquote: 70%
- Schein-Klausur:
  - Datum: 7. Februar 2003
  - Ergebnisse
Hardware-Praktikum
von Hans-Joachim Lieske
- Informationen
- Lehrmaterial
- Teilnahmescheinvorraussetzung: "erfolgreiche Bearbeitung der Übungsaufgaben"

1. Semester (2002.WS)

Stundenplan
Informatik-Forum
Digitale Informationsverarbeitung
von Volker Gruhn
- Vorlesungsfolien (neu)
- Vorlesungsfolien (alt)
- handgeschriebene Vorlesungsfolien
- Übungsaufgaben
- Seminarmaterial
- Übungsscheinerteilungsquote: 50%
Lineare Algebra und analytische Geometrie
von Ugur Abdulla
- Übungsaufgaben
- Mitschrift
- Ein Online-Gleichungssystem-Löser
- Prüfungsergebnisse
Grundlagen der Technischen Informatik 1
von Udo Kebschull
- Skript
- Übungsaufgaben
- Übungsscheinerteilungsquote: 60%
Mengentheoretisch-algebraische Grundlagen der Informatik
von Gerhard Brewka
- Vorlesungsunterlagen
- Skript
- Übungen
- älteres Skript von Siegmar Gerber
- Übung aus dem WS 2000
- Übungsscheinerteilungsquote: 50% (bei nicht regelmäßiger Übungs-Teilnahme: 70%)

<webmaster--informatik@studium.baldauf.org>

Informatik-Studium

Hauptstudium (2006.WS)

Practical Applications of Data Structures and Algorithms

Hauptstudium (2006.SS)

Topic Map Praktikum

Datenanalyse in der Magnetresonanztomographie

Mobile ad-hoc-Netze

Visualisierung in Biologie und Medizin

Visualisierung in Natur- und Technikwissenschaften

Graphentheorie

Hauptstudium (2005.WS)

Hauptstudium (2005.SS)

Diskrete Strukturen und Codierungsheorie

Formalsprachliche Grundlagen des DNA-Computing

Inhaltsbasierte Suche in P2P-Netzwerken

Wissensrepräsentation

Evolutionäre Optimierung

Hauptstudium (2004.WS)

Nebenläufige Prozesse - Spurtheorie

Semantik von Programmiersprachen

Zellularautomaten

Französisch F14

Hauptstudium (2004.SS)

Ausgewählte Kapitel der Softwaretechnologie: Testen

Parallele Algorithmen

Algebraische Automatentheorie

Grundlagen der Wissensrepräsentation

3D-Computergrafik mit OpenGL

Einführung in die VHDL

Verteilte und nebenläufige Programmierung

Neuronale Netze

Gesellschaft und Informatik

Genetische Algorithmen

Evolutionäre Optimierung

Graphentheorie in der Bioinformatik

Mikrorechnertechnik

Bachelor-Praktikum

Rechner-Netze

Hauptstudium (2003.WS)

Signalverarbeitung

Entwurf hochintegrierter Schaltungen

Rechnerarchitektur

Praktikum wissensbasierte Systeme

Theoretische Grundlagen wissensbasierte Systeme

Anwendungen in XML

Problemseminar: Peer-to-peer data management

Problemseminar: Semantic Web

Formale Ontologie für Informationssysteme

Wissenschaftliche Visualisierung

Mehrrechner-Datenbanksysteme

4. Semester (2003.SS)

Algorithmen und Datenstrukturen 2

Berechenbarkeit und Komplexität

Datenbanksysteme 1

Kommunikationssysteme

Softwaretechnik-Praktikum

Stochastik

2. Semester (2003.SS)

Analysis für Informatiker

C-Programmierpraktikum

Java-Programmierpraktikum

Grundlagen der Technischen Informatik 2

Logik

Programmierung und Programmiersprachen

3. Semester (2002.WS)

Algorithmen und Datenstrukturen 1

Numerik

Betriebssysteme

Automaten und Formale Sprachen

Software-Technik

Hardware-Praktikum

1. Semester (2002.WS)

Digitale Informationsverarbeitung

Lineare Algebra und analytische Geometrie

Grundlagen der Technischen Informatik 1

Mengentheoretisch-algebraische Grundlagen der Informatik