Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Peter Baumgartner: Teaching
[go: Go Back, main page]

MPII Home PageMPII Home PageMPII Home Page

Peter Baumgartner

Up to: Research Units Building 46.1 Programming Logics Group

People - Selected



Teaching

WS 2005/2006

Automatische Deduktion für Verifikationsanwendungen.
Seminar (graduate level), University of Koblenz (in German).

WS 2004/2005

Entscheidungsverfahren für Logische Theorien.
Seminar (graduate level), University of Koblenz (in German).

SS 2004

Logik und Datenbanken.
Block lecture, University of Koblenz (in German).

WS 2003/2004

Logik in der Informatik.
Seminar (graduate level), University of Koblenz (in German).

WS 2002

Semantic Web.
Seminar (graduate level), University of Koblenz (in German).

SS 2002

Verifikation Verteilter Systeme.
"Verification of distributed systems." Graguate-level course given in the summer term 2002 at the University of Koblenz (in German).

WS 2001/2002

Logik-Seminar, Universität Koblenz-Landau.

SS 2001

WS 2000/2001

SS 2000 and before

Material on other lectures I gave on logic and/or knowledge representation are available on request.


This web page is maintained by Peter Baumgartner <baumgart@mpi-sb.mpg.de>.
Last modified: Tue Jul 12 12:42:04 CEST 2005