DiscoverCSCI E-207: Introduction to Formal Systems and Computation - Audio
CSCI E-207: Introduction to Formal Systems and Computation - Audio
Claim Ownership

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

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

Subscribed: 3Played: 29
Share

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.
24 Episodes
Reverse
Comments 
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States