This repository provides accompanying lectures notes for the Logic section of CO519 - Theory of Computing, at the School of Computing, University of Kent.
Sources are in LaTeX and can be compiled by running make or with pdflatex, e.g.
pdflatex notes.tex
If you spot any errors, please fork and submit a pull request, or add an 'Issue'. This is also a good way to include suggestions.
Thanks to the following people for contributing fixes:
- Simon Cooksey
- Vilem-Benjamin Liepelt
- Peter Lloyd
- Ben Orchard
- Joanna Sharrad
- U-ways
Thanks to Scott Owens for the traffic light pictures from a previous incarnation of CO519.