Svoboda | Graniru | BBC Russia | Golosameriki | Facebook

iTunes

Opening the iTunes Store.If iTunes doesn't open, click the iTunes application icon in your Dock or on your Windows desktop.
Opening Apple Books.If Apple Books doesn't open, click the Books app in your Dock.
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

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.

View More by This Publisher

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

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.

Customer Reviews

can’t see the board

We can only see the instructor and partially what he writes. The presentation board is not visible. That is very frustrating

Viewers also subscribed to