Lehrveranstaltungen
This page in English.
Esta página em português.
Zurück zur Homepage.
- Sommersemester 2011/12
-
Geschichte und Philosophie der Mathematik,
Vorlesung (Mastervorlesung)
-
Fehlerkorrigierende Kodes,
Vorlesung
- Wintersemester 2011/12
-
Berechenbarkeit und Komplexität,
Vorlesung (Mastervorlesung)
-
Álgebra Linear e Geometria Analítica,
Vorlesung (Mastervorlesung)
- Sommersemester 2010/11
-
Fehlerkorrigierende Kodes,
Vorlesung
-
Diskrete Mathematik,
Übungen
- Wintersemester 2010/11
- Sommersemester 2008/09
-
Geschichte und Philosophie der Mathematik,
Vorlesung (Mastervorlesung)
- Wintersemester 2008/09
-
Logik,
Vorlesung (Mastervorlesung)
- Sommersemester 2007/08
-
Analysis II C,
Vorlesung mit Übungen
- Sommersemester 2009/10
-
Logik,
Vorlesung (Gastvorlesung)
- Wintersemester 2007/08
-
Logik,
Vorlesung (Erasmus-Vorlesung)
- Wintersemester 2007/08
-
Höhere Logik,
Vorlesung mit Übungen (Mastervorlesung)
-
Berechenbarkeit und Komplexität,
Vorlesung mit Übungen (Mastervorlesung)
-
Funktionale Programmierung,
Vorlesung mit Übungen (Mastervorlesung)
- Sommersemester 2006/07
-
Datenstrukturen,
Vorlesung mit Übungen
-
Berechenbarkeit und Komplexität,
Vorlesung mit Übungen (Mastervorlesung)
- Wintersemester 2006/07
-
Objektorientierte Programmierung,
Vorlesung mit Übungen
- Sommersemester 2005/06
-
Berechenbarkeit und Komplexität,
Vorlesung mit Übungen (Mastervorlesung)
- Wintersemester 2005/06
-
Höhere Logik,
Vorlesung mit Übungen (Mastervorlesung)
-
Objektorientierte Programmierung,
Vorlesung mit Übungen
-
Datenbanken,
Vorlesung mit Übungen
- Sommersemester 2004/05
-
Objektorientierte Programmierung,
Vorlesung mit Übungen
- Wintersemester 2004/05
-
Höhere Logik,
Vorlesung mit Übungen (Mastervorlesung)
-
Datenbanken,
Vorlesung mit Übungen
- Sommersemester 2003/04
-
Objektorientierte Programmierung,
Vorlesung mit Übungen
-
Algorithmen und Datenstrukturen II,
Vorlesung
- Wintersemester 2003/04
-
Spezifikation und Verifikation,
Vorlesung mit Übungen
-
Datenbanken,
Vorlesung mit Übungen
- Wintersemester 2001/02
-
Applikative Theorien and explizite Mathematik,
Vorlesung mit Übungen
- Sommersemester 2000/01
-
Techniken der Logikprogrammierung,
Vorlesung mit Übungen
-
Informatik II,
Übungen, zusammen mit Norbert Eisinger und Slim Abdennadhar (Vorlesung von Hans-Jürgen Ohlbach)
- Wintersemester 2000/01
-
Synonymie und Intensionalität,
Seminar, zusammen mit Hans Leiß
-
Informatik I,
Übungen, zusammen mit Norbert Eisinger, Slim Abdennadhar und Bertram Fronhöfer (Vorlesung von François Bry)
- Wintersemester 2001/02
-
Einführung in die Logik,
Vorlesung
- Sommersemester 2000/01
-
Logiken für Programme,
Seminar
- Wintersemester 2000/01
-
Logikprogrammierung,
Vorlesung mit Übungen
- Sommersemester 1999/00
-
Intensionalität,
Seminar, zusammen mit Fritz Hamm
- Wintersemester 1999/00
-
Funktionale Programmierung,
Vorlesung mit Übungen
-
Quantenlogik und Quantencomputing,
Seminar, zusammen mit Klaus-Jörn Lange und Andreas Weber
- Sommersemester 1998/99
-
Logikprogrammierung,
Vorlesung mit Übungen
-
Kombinatorische Logik und Lambda-Kalkül,
Übungen (Vorlesung von Peter Schroeder-Heister)
- Wintersemester 1998/99
-
Logiken für Quantoren,
Seminar, zusammen mit Fritz Hamm
- Sommersemester 1997/98
-
Automatisches Beweisen,
Vorlesung
- Sommersemester 1996/97
-
Kombinatorische Logik und Lambda-Kalkül,
Übungen (Vorlesung von Peter Schroeder-Heister)
- Wintersemester 1993/94
-
Formale Methoden des Schließens - Logikprogrammierung,
Übungen (Vorlesung von Gerhard Jäger)
This page in English.
Esta página em português.
Zurück zur Homepage.