Peter Baumgartner
Principal Research Scientist, Data61
ANU CECS
Details and Contact
[ Home
| Publications
| Activities
| Teaching
| Student
project offers
| Systems
| Talks
]
Teaching
Logic Summer School, Canberra, December 2019
COMP4630 - Overview of Logic and Computation, ANU, August 2019
Logic Summer School, Canberra, December 2018
Slides
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
- Einführung
in die Informatik für IM I.
"Introduction to Computer Science for Information
Managers".
Introductory level course given in the
winter term 2000/2001 at the University of Koblenz (in
German).
- Informatik III.
"Introduction to Computer Science."
Introductory level
course given in the winter term 2000/2001 at the
University of Giessen (in German).
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