Lecture 1 (Computation Theory)