Mechanised Reasoning and Theorem Proving

Offered as part of the Midlands Graduate School in the Foundations of Computer Science

Contact Details

Louise Dennis, lad@cs.nott.ac.uk

Draft Lecture Topics

First-Order Logic and Proof by Contradiction (Postscript, PDF)
Equality Reasoning and Term Rewriting (Postscript, PDF)
Theorem Proving, (Postscript, PDF)
Proof Planning, (Postscript, PDF)