Catalog Β· Mathematics for Computer Science Lecture 4 of 24 Lecture 4: State Machines β Previous Lecture 3: Casework and Strong Induction Next β Lecture 5: Sums β Mark complete Materials Transcript (PDF) β transcript