Computer Science Tripos part Ia.
DJ Greaves. 6 Lectures.
Here are the lecture notes in compressed postscript .