Teaching
Diese Seite auf deutsch.
Esta página em português.
Back to the homepage.
- Winter term
2004/2005
- Databases
(lecture with excercise class)
- Advanded Logic
(master course)
- Summer term
2004
- Algorithms and Data structures II
(lecture)
- Object oriented programming
(lecture with excercise class)
- Winter term
2003/2004
- Spezification and Verification
(lecture with excercise class)
- Databases
(lecture with excercise class)
- Winter term
2001/2002
- Applicative theories and explicit mathematics
(lecture with excercise class)
- Summer term
2001
- Techniques of logic programming
(lecture with excercise class)
- Excercise class for
Computer Science II
(lecture by Prof. Ohlbach),
together with
Norbert Eisinger, Slim Abdennadhar and Bertram Fronhöfer
- Winter term
2000/2001
- Synonymy and intensionality
(seminar),
together with Dr. Hans Leiß, Centrum für
Informations- und Sprachverarbeitung.
- Excercise class for
Computer Science I
(lecture by Prof. Bry),
together with
Norbert Eisinger, Slim Abdennadhar and
Bertram Fronhöfer
- Organisation des Kolloquiums Sprache, Information, Logik
(Graduiertenkolleg SIL)
- Summer term
2000
- Summer term
2001
- Logiken für Programme (seminar)
- Winter term
2000/2001
- Einführung in die Logikprogrammierung (lecture with excercise class)
- Organisation des Kolloquiums Logik und Sprachtheorie
- Summer term
2000
- Intensionalität, gemeinsam mit PD Dr. Fritz Hamm,
Institut für Sprachwissenschaften.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Winter term
1999/2000
- Einführung in die funktionale Programmierung (lecture with excercise class)
- Quantenlogik und Quantencomputing (seminar), gemeinsam mit
Prof. Klaus-Jörn Lange und Dr. Andreas Weber.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Summer term
1999
- Einführung in die Logikprogrammierung (lecture with excercise class)
- Excercise class for Kombinatorische Logik und Lambda-Kalkül
(lecture by Prof. Schroeder-Heister)
- Organisation des Kolloquiums Logik und Sprachtheorie
- Winter term
1998/99
- Logik für Quantoren (seminar), gemeinsam mit Dr. Fritz Hamm,
Institut für Sprachwissenschaften.
- Organisation des Kolloquiums Logik und Sprachtheorie
- Summer term
1998
- Automatisches Beweisen (Vorlesung)
- Summer term
1997
- Excercise class for Kombinatorische Logik und Lambda-Kalkül
(lecture by Prof. Schroeder-Heister)
- Winter term
2001/2002
- Introduction to logic
(Lecture)
- Winter term
1993/94
- Excercise class for Formale Methoden des Reasoning -
Logik-Programmierung
(lecture by Prof. Jäger)
Diese Seite auf deutsch.
Esta página em português.
Back to the homepage.
Reinhard Kahle, 14.09.04