My lectures

I gave these lectures at the Department of Computer Science of the University of Bath. (The “.ps.gz” files can be viewed with “ghostview”, “gv”, or any other Postscript viewer.)

CM10020: Computability and decidability (Semester 2 of 2004)

CM30071: Logic and its applications (Semester 2 of 2004)

  • Introduction pdf / ps.gz
  • Propositional logic (revision) & semantic entailment pdf / ps.gz
  • Handout 1, containing both sets of slides above ps.gz
  • Handout 2, Natural deduction pdf / ps.gz
  • Handout 3, Soundness & Completeness pdf / ps.gz
  • Handout 4, Completeness & Predicate Logic ps.gz
  • Handout 5, Natural deduction for predicate logic ps.gz
  • Handout 6, Natural deduction for predicate logic ps.gz
  • Handout 7, Hoare logic ps.gz
  • Handout 8, Hoare logic (part 2) ps.gz / pdf
  • Handout 9, Sequent calculus ps.gz / pdf
  • Handout 10, Sequent calculus vs. natural deduction ps.gz / pdf
  • Handout 11, Sequent calculus, proof search & logic programming ps.gz / pdf
  • Handout 12, Sequent calculus, proof search & logic programming (addendum). Preview of modal logic. ps.gz / pdf
  • Handout 13, Modal logic ps.gz / pdf
  • Handout 14, Natural deduction for modal logic ps.gz / pdf
  • Handout 15, Intuitionistic logic (part 1/2) ps.gz / pdf
  • Handout 16, Intuitionistic logic (part 2/2) ps.gz / pdf
  • Handout 17, Lambda-calculus & Propositions-as-Types ps.gz / pdf
  • Handout 18, Revision ps.gz / pdf

Leave a Reply