CSCI E-207: Introduction to Formal Systems and Computation - Video - Instructor: Harry R. Lewis, PhD, Harvard College Professor and Gordon McKay Professor of Computer Science, Harvard University. - TopPodcast.com

*/ ?>

View Top 200 Chart

Back to Rankings Page

CSCI E-207: Introduction to Formal Systems and Computation – Video – Instructor: Harry R. Lewis, PhD, Harvard College Professor and Gordon McKay Professor of Computer Science, Harvard University. — Technology
CSCI E-207: Introduction to Formal Systems and Computation – Video – Instructor: Harry R. Lewis, PhD, Harvard College Professor and Gordon McKay Professor of Computer Science, Harvard University.

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.

Latest Episodes:

Related Podcasts