Harvard University
Computer Science 121 and CSCI E-207

Introduction to Formal Systems and Computation

Link to videorecordings (restricted to registered students)

Link to section videorecordings will be here (CSCI E-207 only)

Link to live videocast (CSCI E-207 only)