The University of Aberdeen
The Computing Science Department

CS2013: Background Information (optional reading)

The Lectures and Practicals of this course are meant to be self-explanatory. Having said that, you might benefit from reading (or just browsing) other things, so here are some optional suggestions:

Concerning the logic lectures, you might benefit from these summary sheets:
Truth Conditions in docx and in pdf
Natural Deduction rules in docx and in pdf
Equivalence Rules in docx and in pdf