Dieter Hofbauer Teaching

[Lehrveranstaltungen] [Skripte] [Betreute Arbeiten]

Lehrveranstaltungen

Winter 2008/09:

4. Quartal 2008:	Einführung in die Informatik und Wirtschaftinformatik
4. Quartal 2008:	Software Engineering Projekt
4. Quartal 2008:	Programmierung I
4. Quartal 2008:	Grundlagen der Informatik und der Wirtschaftsinformatik (Logistik)
3. Quartal 2008:	Datenbanken (Logistik)
3. Quartal 2008	Grundlagen Software Engineering II
2. Quartal 2008	Einführung in die Software-Entwicklung (Logistik)
2. Quartal 2008	Programmierung II
2. Quartal 2008	Software Engineering II
1. Quartal 2008	Algorithmen und Datenstrukturen
1. Quartal 2008	Betriebssysteme und Netzwerke (Logistik)
1. Quartal 2008	Programmierung graphischer Benutzungsoberflächen
1. Quartal 2008	Grundlagen Software Engineering I
4. Quartal 2007	Software Engineering I
4. Quartal 2007	Programmierung I
4. Quartal 2007	Informatik I (Logistik)
4. Quartal 2007	Theoretische Informatik I
3. Quartal 2007	Grundlagen Software Engineering II
3. Quartal 2007	Datenbanken (Logistik)
2. Quartal 2007	Theoretische Informatik II
2. Quartal 2007	Programmierung II
2. Quartal 2007	Software Engineering II
2. Quartal 2007	Einführung in die Programmierung (Logistik)
1. Quartal 2007	Algorithmen und Datenstrukturen
1. Quartal 2007	Software Engineering (Fertigungsprozessinformatik)
1. Quartal 2007	Betriebssysteme und Netzwerke (Logistik)
1. Quartal 2007	Programmierung graphischer Benutzungsoberflächen
1. Quartal 2007	Grundlagen Software Engineering I
4. Quartal 2006	Software Engineering I
4. Quartal 2006	Java-Kurs
4. Quartal 2006	Programmierung I
2. Quartal 2006	Software Engineering II
2. Quartal 2006	Software Engineering II
2. Quartal 2006	Betriebssysteme (Fertigungsprozessinformatik)
2. Quartal 2006	Programmierung II
1. Quartal 2006	Algorithmen und Datenstrukturen
4. Quartal 2005	Software Engineering I
4. Quartal 2005	Java-Kurs
4. Quartal 2005	Programmierung I
2. Quartal 2005	Grundlagen der Informatik II (Logistik)
4. Quartal 2004	Grundlagen der Informatik I (Logistik)
1. Quartal 2004	Programmierpraktikum Java

Masterprogramm Medien Leipzig

Sommer 2006:

Software Engineering

Wintershall AG

Sommer 2004:

Objektorientiertes Programmieren mit Java

Universität Kassel

Winter 2002/03:	Einführung in die Programmierung mit JAVA
Sommer 2002:	Algorithmen und Datenstrukturen
Winter 2001/02:	Einführung in die Programmierung mit JAVA

Technische Universität Berlin

Sommer 1998:	Einführung in die Theoretische Informatik - Ersetzungssysteme
Sommer 1998:	Ersetzungssysteme im Vergleich
Winter 1997/98:	Theoretische Grundlagen der Informatik (TheGI 1)
Winter 1996/97:	Formale Sprachen und Termersetzungssysteme
Winter 1996/97:	Randomisierte Algorithmen
Sommer 1996:	Einführung in die Theoretische Informatik - Ersetzungssysteme
Winter 1995/96:	Baumsprachen
Winter 1995/96:	Beweisbares und Unbeweisbares
Sommer 1995:	Einführung in die Theoretische Informatik - Ersetzungssysteme
Sommer 1995:	Effiziente Algorithmen für Graphen mit beschränkter Baumweite
Winter 1994/95:	Theoretische Grundlagen der Informatik (TheGI 1)
Winter 1994/95:	Ramsey-Theorie
Sommer 1994:	Grammatiken und Automaten für Wörter und Bäume
Sommer 1994:	Ordinalzahlen in der Beweis- und Rekursionstheorie
Winter 1993/94:	Einführung in die Termersetzung
Winter 1993/94:	Logische Charakterisierung von Sprach- und Funktionsklassen
Sommer 1993:	Einführung in die Theoretische Informatik
Sommer 1993:	Termersetzungssysteme: Termsprachen, Baumautomaten und Baumgrammatiken
Winter 1992/93:	Einführung in die Theoretische Informatik
Winter 1992/93:	Termination von Termersetzungssystemen
Winter 1989/90:	Logik für Informatiker II - Grundlagen des maschinellen Beweisens
Sommer 1989:	Theoretische Grundlagen der Informatik (TEGI 1)
Winter 1988/89:	Theoretische Grundlagen der Informatik (TEGI 1)
Sommer 1988:	Logik II für Informatiker - Grundlagen des maschinellen Beweisens
Sommer 1988:	Komplexität logischer Sprachen
Winter 1987/88:	Komplexitätstheorie
Sommer 1987:	Logik II für Informatiker - Grundlagen des maschinellen Beweisens
Winter 1986/87:	Theoretische Grundlagen der Informatik (TEGI 1)
Winter 1986/87:	Termersetzungssysteme
Winter 1986/87:	Beweisen und Widerlegen
Sommer 1986:	Theorie der effizienten Lösbarkeit von Problemen
Sommer 1986:	Grundlagen und Probleme des Logischen Programmierens
Winter 1985/86:	Algebra für Informatiker - Einführung in die Spezifikation abstrakter Datentypen
Sommer 1985:	Logik für Informatiker

[zum Seitenanfang]

Skripte und Vorlesungsmaterial (veraltet)

Algorithmen und Datenstrukturen
Mit F. Otto
207 Seiten, 2002.
Einführung in die Programmierung mit Java
ca. 310 Vorlesungsfolien, 2001/02 und 2002/03.
Übungen zur Einführung in die Programmierung
Mit M. Huber
ca. 140 Seiten Übungsmaterial, 2001/02 und 2002/03.
Ersetzungssysteme (ps.gz)
107 Seiten, 1996/98.
Theoretische Grundlagen der Informatik
Mit H.-J. Burtschick, D. Siefkes, A. Nickelsen, L. With
112 Seiten, 1998.
Grammatiken und Automaten für Wörter und Bäume
30 Seiten, 1994.
Automatisches Theorembeweisen
Mit R.-D. Kutsche
122 Seiten, 1987/88.

[zum Seitenanfang]

Betreute Arbeiten (veraltet)

Zsuzsanna Lipták
Zur algebraischen Charakterisierung regulärer Termsprachen
Diplomarbeit, Dezember 1998.
Franz Konieczny
NTS-Termsprachen
Diplomarbeit, April 1998. Betreut mit M. Kracht (FU Berlin).
Christine Fronia
Identifikation von Splice-Sites in humaner DNA mit Hidden Markov Modellen
Diplomarbeit, Februar 1998. Betreut mit P. Wrede (FU Berlin).
Jörg Frank
Simplifikationsordnungen auf Wörtern und deren Ordnungstypen
Diplomarbeit, Juni 1997.
Ralf Klaus
Entscheidungsverfahren für das Leerheitsproblem kontextfreier Baumsprachen
Diplomarbeit, Januar 1997.
Markus Schmitt
Automaten für kontextfreie Baumsprachen
Diplomarbeit, Oktober 1996.
Markus Schmitt
Charakterisierung von Baumklassen mit einem universellen Maschinenmodell
Studienarbeit, Dezember 1994.
Jörg Frank
Ordinalzahlen, Termersetzungssysteme und Terminationsordnungen
Studienarbeit, Oktober 1994.
Hasso Jagode
Das Unfailing-Knuth-Bendix-Vervollständigungsverfahren
Diplomarbeit, September 1994. Betreut mit L. With.
Lars With
Order-Sorted Equational Computation with Semantical Sorts
Dissertation, Januar 1994. Gutachter: D. Siefkes und H. Ehrig.
Ralf Klaus
Modulare Eigenschaften von Termersetzungssystemen
Studienarbeit, Juni 1993.
Frank Merken
Vergleich von Matrixverfahren und SL-Resolution
Diplomarbeit, März 1990.
Peter Wuttke
Theorieresolution in der Prädikatenlogik: Darstellung und Beispiele
Diplomarbeit, Februar 1990.
Frank Merken
Darstellung des Matrixverfahrens
Studienarbeit, Juli 1989. Betreut mit R.-D. Kutsche.
Lars With
Unifikation mit Sortenhierarchie
Diplomarbeit, März 1989.
Peter Halmich
Darstellung von Algorithmen zur Symbolmanipulation durch Termersetzungssysteme
Studienarbeit, Oktober 1988.
Peter Wuttke
Experimente zur Bewertung von Theorembeweisern
Studienarbeit, August 1988. Betreut mit R.-D. Kutsche.
Christoph Brzoska
Untersuchungen von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus
Diplomarbeit, April 1988.
Elke Altendorf
Terminationskriterien für Termersetzungssysteme
Studienarbeit, Oktober 1987. Betreut mit R.-D. Kutsche.
Christoph Brzoska
Knuth-Bendix-Vervollständigung von Termersetzungssystemen
Studienarbeit, Oktober 1987. Betreut mit R.-D. Kutsche.

[zum Seitenanfang]

Last modified: Sun Oct 26 23:24:06 CET 2008