[Lehrveranstaltungen]    [Skripte]    [Betreute Arbeiten]

Lehrveranstaltungen

Hochschule Darmstadt

Winter 2008/09: Formal Methods in Computer Science

Berufsakademie Nordhessen

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)

[zum Seitenanfang]

Betreute Arbeiten (veraltet)

[zum Seitenanfang]

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