Vorlesungen - Seminare - Praktika - SEP - Diplomarbeiten - Skripten
Drehscheibe Informatik

Vorlesungen

Wintersemester 2004/05

• Diskrete Strukturen I (Prof. Dr. Dr.h.c. W. Brauer)
• Komplexitätstheorie (Prof. Dr. H. Veith)
• Automaten, Formale Sprachen, Berechenbarkeit (Prof. Dr. Markus Holzer)
• Statistische und Neuronale Lernverfahren (Priv.-Doz. Dr. Martin Stetter)
• Data Mining und Knowledge Discovery (Priv.-Doz. Dr. Thomas Runkler)
• Agentenorientiertes Engineering (Dr. Gerhard Weiß)

Sommersemester 2004

• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. Dr. H. Veith)
• Automaten, Formale Sprachen, Berechenbarkeit II (Prof. Dr. Dr.h.c. W. Brauer)
• Petrinetze (Prof. Dr. Dr.h.c. W. Brauer)
• Effiziente Algorithmen II (Dr. Markus Holzer)
• Zeitautomaten und andere Modelle für Realzeitsysteme (Dr. Astrid Kiehn)

Wintersemester 2003/04

• Automaten, Formale Sprachen, Berechenbarkeit I (Prof. Dr. Dr.h.c. W. Brauer)
• Komplexitätstheorie (Prof. Dr. H. Veith)
• Data Mining und Knowledge Discovery (Dr. Thomas Runkler)
• Statistische und Neuronale Lernverfahren (Priv.-Doz. Dr. Martin Stetter)
• Algorithmische Informationstheorie und maschinelles Lernen (Dr. Marcus Hutter)

Sommersemester 2003

• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. Dr. Dr. h.c. W. Brauer)
• Entwurf kooperativer Systeme (Dr. Gerhard Weiß)
• Statistische und Neuronale Lernverfahren (Priv.-Doz. Dr. Martin Stetter)

Wintersemester 2002/03

• Diskrete Strukturen I (Prof. Dr. Janos Csirik)
• Automaten, Formale Sprachen, Berechenbarkeit I (Prof. Dr. Dr.h.c. W. Brauer)
• Verfahren zur Programmanalyse (Dr. Barbara König)
• Analyse von Algorithmen (Dr. Peter Rossmanith)
• Clusteranalyse (Dr. Thomas Runkler)

Sommersemester 2002

• Diskrete Strukturen II (Prof. Dr. Janos Csirik)
• Logik (Dr. Peter Rossmanith)
• Nichtsequentielle Systeme und nebenläufige Prozesse (Dr. Astrid Kiehn)
• Automaten, Formale Sprachen, Berechenbarkeit II (Dr. Markus Holzer)
• Computational Neuroscience: Neuronale Modellierung von Hirnfunktionen (Dr. Gustavo Deco)
• Agentenorientierte Systemmodellierung (Dr. Gerhard Weiß)
• Data Mining und Knowledge Discovery (Dr. Thomas Runkler)

Wintersemester 2001/02

• Diskrete Strukturen I (Prof. Dr. Dr.h.c. W. Brauer)
• Automaten, Formale Sprachen, Berechenbarkeit I (Prof. Dr. Ekkart Kindler)
• Petrinetze (Prof. Dr. Ekkart Kindler)
• Zeitautomaten und andere Modelle für Realzeitsysteme (Dr. Astrid Kiehn)
• Clusteranalyse (Dr. Thomas Runkler)

Sommersemester 2001

• Informatik IV (Prof. Dr. Dr.h.c. W. Brauer)
• Nichtsequentielle Systeme und nebenläufige Prozesse (Dr. Astrid Kiehn)
• Effiziente Algorithmen II (Dr. Peter Rossmanith)
• Data Mining und Knowledge Discovery (Dr. Thomas Runkler)
• Lernende Systeme II (Dr. Gustavo Deco)

Wintersemester 2000/01

• Automaten, Formale Sprachen, Berechenbarkeit (Prof. Dr. Dr.h.c. W. Brauer)
• Effiziente Algorithmen (Prof. Dr. Javier Esparza)
• Nichtsequentielle Systeme und nebenläufige Prozesse (Dr. Astrid Kiehn)
• Parallele Algorithmen (Dr. Peter Rossmanith)
• Clusteranalyse (Dr. Thomas Runkler)
• Lernende Systeme (Dr. Gustavo Deco)

Sommersemester 2000

• Diskrete Strukturen II (Prof. Javier Esparza)
• Data Mining und Knowledge Discovery (Dr. Thomas Runkler)
• Lernende Systeme II (Dr. Gustavo Deco)
• Zeitautomaten (Dr. Astrid Kiehn)
• Fuzzy-Logik und -steuerung (Prof. Dr. Dr. h.c. W. Brauer)
• Verteilte Systeme: Formale Methoden, Anwendungen, Werkzeuge (Prof. Dr. Dr. h.c. W. Brauer)
• Softwaretechnik für betriebliche Informationssysteme (Dr. Dirk Taubner)

Wintersemester 1999/2000

• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. Dr. Dr. h.c. W. Brauer)
• Automaten, Formale Sprachen, Berechenbarkeit (Prof. Dr. J. Esparza)
• Neuronale Netze (Prof. Dr. Dr. h.c. W. Brauer)
• Lernende Systeme (Dr. Gustavo Deco)
• Zeitautomaten (Dr. Astrid Kiehn)
• Clusteranalyse (Dr. Thomas Runkler)
• Repräsentation und Verarbeitung räumlichen Wissens (Dr. Daniel Hernandez)

Sommersemester 1999

• Einführung in die Informatik II (Prof. Dr. Dr. h.c. W. Brauer)
• Logik (Prof. Javier Esparza)
• Automatentheorie II (Prof. Javier Esparza)
• Parallele Algorithmen II (Dr. Peter Rossmanith)
• Model Checking (Dr. Astrid Kiehn)
• Data Mining und Knowledge Discovery (Dr. Thomas Runkler)
• Neurokognitive Systeme (Dr. Gustavo Deco)

Wintersemester 1998/99

• Einführung in die Informatik I (Prof. Dr. Dr. h.c. W. Brauer)
• Parallele Algorithmen (Dr. Peter Rossmanith)
• Lernende Systeme (Dr. Gustavo Deco)

Sommersemester 1998

• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. Dr. W. Brauer)
• Logik (Prof. Dr. J. Esparza)
• Lernende Systeme 2 (Dr. Gustavo Deco)
• Raumkognition (Dr. D. Hernandez, Dr. C. Schlieder)
• Mehragentensystemmodelle (Dr. G. Weiß)

Wintersemester 1997/98

• Lernende Systeme (Dr. Gustavo Deco)
• Komplexitätstheorie (Prof. J. Esparza) , Übung dazu (Rossmanith, Wallner)
• Analyse von Algorithmen (Dr. Rossmanith)

Sommersemester 1997

• Informationsdynamik: Zeitreihenanalyse (Dr. Gustavo Deco)
• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. Dr. J. Esparza), Übung
• Verteilte Künstliche Intelligenz (Prof. Dr. W. Brauer, Dr. G. Weiß)

Wintersemester 1996/97

• Berechenbarkeit und Entscheidbarkeit (Prof. Dr. W. Brauer), Übung
• Lernende Systeme: Ein informationstheoretischer Zugang (Dr. Gustavo Deco)
• Formale Sprachen und Automatentheorie I (Prof. Dr. J.Esparza), Übung
• Petrinetze (Prof. Dr. J.Esparza)
• Raumkognition: Repräsentation und Verarbeitung räumlichen Wissens (Dr. D. Hernandez)
• Methoden der Sprachverarbeitung (Prof. Dr. W. Brauer, Dr. G. Ruge, Dr. G. Scheler)

Sommersemester 1996

• Einführung in die Informatik II (Prof. Dr. W. Brauer), Übung
• Nichtsequentielle Systeme und nebenläufige Prozesse (Prof. J. Esparza), Übung
• Parallele Komplexitätstheorie (P. Rossmanith)
• Informationsdynamik (Prof. Dr. W. Brauer, Dr. G. Deco)
• Synthese und Verifikation digitaler Systeme (Dr. Michael Payer)

Wintersemester 1995/96

• Einführung in die Informatik I (W.Brauer), Übung, Klausur
• Berechenbarkeit und Entscheidbarkeit (J. Esparza), Übung
• Petrinetze (J.Esparza)
• Prozeßalgebren (A. Kiehn)

Vergangene Semester

• Nichtsequentielle Systeme und nebenläufige Prozesse (SS95)
• Formale Sprachen und Automatentheorie I (WS 94/95)

Zurück zur Seite des Lehrstuhls Brauer