Teaching record
Diese Seite auf deutsch. Esta página em português.
Back to the Homepage.
 summer term 2011/12

History and Philosophy of Mathematics,
lectures (master course)

Theory of Error Correction,
lectures
 winter term 2011/12

Computability and complexity,
lectures (master course)

Álgebra Linear e Geometria Analítica,
lectures (master course)
 summer term 2010/11

Theory of Error Correction,
lectures

Discrete Mathematics,
exercise classes

Analysis II B,
exercise classes
 winter term 2010/11

Analysis II B,
exercise classes
 summer term 2008/09

History and Philosophy of Mathematics,
lectures (master course)
 winter term 2008/09

Logic,
lectures (master course)
 summer term 2007/08

Analysis II C,
lectures and exercise classes
 summer term 2009/10

Logic,
lectures (guest lecture)
 winter term 2007/08

Logic,
lectures (Erasmus lecture)
 winter term 2007/08

Advanced logic,
lectures and exercise classes (master course)

Computability and complexity,
lectures and exercise classes (master course)

Functional programming,
lectures and exercise classes (master course)
 summer term 2006/07

Data structures,
lectures and exercise classes

Computability and complexity,
lectures and exercise classes (master course)
 winter term 2006/07

Object oriented programming,
lectures and exercise classes
 summer term 2005/06

Computability and complexity,
lectures and exercise classes (master course)
 winter term 2005/06

Advanced logic,
lectures and exercise classes (master course)

Object oriented programming,
lectures and exercise classes

Databases,
lectures and exercise classes
 summer term 2004/05

Object oriented programming,
lectures and exercise classes
 winter term 2004/05

Advanced logic,
lectures and exercise classes (master course)

Databases,
lectures and exercise classes
 summer term 2003/04

Object oriented programming,
lectures and exercise classes

Algorithms and data structures II,
lectures
 winter term 2003/04

Specification and verification,
lectures and exercise classes

Databases,
lectures and exercise classes
 winter term 2001/02

Applicative Theories and Explicit Mathematics,
lectures and exercise classes
 summer term 2000/01

Techniques of logic programming,
lectures and exercise classes

Computer Science II,
exercise classes, together with Norbert Eisinger and Slim Abdennadhar (lectures of HansJürgen Ohlbach)
 winter term 2000/01

Synonymy and Intensionality,
seminar, together with Hans Leiß

Computer Science I,
exercise classes, together with Norbert Eisinger, Slim Abdennadhar and Bertram Fronhöfer (lectures of François Bry)
 winter term 2001/02

Introduction to logic,
lectures
 summer term 2000/01

Logics for programs,
seminar
 winter term 2000/01

Logic programming,
lectures and exercise classes
 summer term 1999/00

Intensionality,
seminar, together with Fritz Hamm
 winter term 1999/00

Functional programming,
lectures and exercise classes

Quantum logic and quantum computing,
seminar, together with KlausJörn Lange and Andreas Weber
 summer term 1998/99

Logic programming,
lectures and exercise classes

Combinatory logic and Lambda calculus,
exercise classes (lectures of Peter SchroederHeister)
 winter term 1998/99

Logics for quantifiers,
seminar, together with Fritz Hamm
 summer term 1997/98

Automated Reasoning,
lectures
 summer term 1996/97

Combinatory logic and Lambda calculus,
exercise classes (lectures of Peter SchroederHeister)
 winter term 1993/94

Formal methods of reasoning  logic programming,
exercise classes (lectures of Gerhard Jäger)
Diese Seite auf deutsch. Esta página em português.
Back to the Homepage.