Previous Teaching of Manfred Kerber

Modules taught in the past

Communication Skills and Professional Issues (Sem2), Spring Term 2009
Logics, November 2007 and October 2008, Instituto Gulbenkian de Ciencia, Portugal
Commercial Programming, Autumn Term 2005, 2007, 2008
Automatic Verification (06-02489), Spring Term 2008
Logic for Computer Science (06-02316), Autumn Term 2005
Intro to AI (06-08775), Autumn Term 2004
Planning (06-02562), Autumn Term 2004
AI Techniques A (06-11352)
Theories of Learning (SEM2A4)
Deduction
Logic (SEM1A6, 06-02316)
Mathematics & Logic B
Mechanised Reasoning (Midlands Graduate School in Theoretical Computer Science)
Sortenlogiken und ihre Automatisierung (in German)
Lecture notes available: PostScript (200k), BibTeX-Entry (1k)
Planverfahren (in German)
Lecture notes available: PostScript (232k), BibTeX-Entry (1k)
Mehrwertige Logiken in der KI (in German)
Lecture notes available: PostScript (238k), BibTeX-Entry (1k)
Seminar: Beherrschbarkeit von Computersystemen (in German)
Lecture notes, 1989 (Coeditor: Axel Präcklein): PostScript (332k), BibTeX-Entry (1k)

© and maintained by Manfred Kerber, School of Computer Science, The University of Birmingham
Last update: 2.9.2009. The URL of this page is http://www.cs.bham.ac.uk/~mmk/oldteaching.php.