Here's links to workshop materials including task sheets and software. Lecture notes and Voice Recordings can also be found here.
Mini-lecture 1
Mini-lecture 2
Mini-lecture 3
Logic Worksheet 1
Logic Worksheet 2
Logic Worksheet 3
Boole & Shannon Papers
Turing Mini-lecture
Turing Worksheet
WeeBeeCode Examples
196 Problem in C
Davies Paper on Turing