Peter Baumgartner in 2003

Peter Baumgartner

Principal Research Scientist, Data61
ANU CECS

Details and Contact

[ Home | Publications | Activities | Teaching | Student project offers | Systems | Talks ]

Teaching

COMP4630-8670 - Overview of Logic and Computation, ANU, July/August 2017


Slides 'First-Order Logic'

Logic Summer School, Canberra, December 2017

Slides

COMP4640 - Overview of Logic and Computation, ANU, July/August 2015

Slides 'classical propositional logic'
Slides 'first-order logic'

Logic Summer School, Canberra, December 2013

Slides

COMP6463 - Overview of Logic and Computation, ANU, August 2013

Slides, Handout (same contents, different format)

COMP6463 - Overview of Logic and Computation, ANU, August 2012

Automated Reasoning in First-Order Logic

COMP6463 - Overview of Logic and Computation, ANU, October 2011

Automated Reasoning in First-Order Logic

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: Fri Mar 17 10:51:42 EST 2006