MODULE 3:   Formalizing Computation
Turing Machines
Video

Handout
Slides