iTunes

Opening the iTunes Store.If iTunes doesn’t open, click the iTunes application icon in your Dock or on your Windows desktop.Progress Indicator
Opening the iBooks Store.If iBooks doesn't open, click the iBooks app in your Dock.Progress Indicator
iTunes

iTunes is the world's easiest way to organize and add to your digital media collection.

We are unable to find iTunes on your computer. To download and subscribe to CSCI E-207: Introduction to Formal Systems and Computation - Video by Instructor: Harry R. Lewis, PhD, Harvard College Professor and Gordon McKay Professor of Computer Science, Harvard University., get iTunes now.

Already have iTunes? Click I Have iTunes to open it now.

I Have iTunes Free Download
iTunes for Mac + PC

CSCI E-207: Introduction to Formal Systems and Computation - Video

by Instructor: Harry R. Lewis, PhD, Harvard College Professor and Gordon McKay Professor of Computer Science, Harvard University.

To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to iTunes U collections.

Description

This course is a rigorous introduction to formal systems and the theory of computation. Elementary treatment of automata, formal languages, computability, uncomputability, computational complexity, NP-completeness, and mathematical logic are covered. The recorded lectures are from the Harvard School of Engineering and Applied Sciences course Computer Science 121.