24 episodes

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.

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

    • Technology

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.

    • video
    Introduction-L01

    Introduction-L01

    • 57 min
    • video
    Mathematical Preliminaries-L02

    Mathematical Preliminaries-L02

    • 1 hr 11 min
    • video
    Proofs-L03

    Proofs-L03

    • 1 hr 3 min
    • video
    Finite Automata-L04

    Finite Automata-L04

    • 1 hr 4 min
    • video
    Nondeterministic Finite Automata-L05

    Nondeterministic Finite Automata-L05

    • 1 hr 10 min
    • video
    Regular Expressions-L06

    Regular Expressions-L06

    • 1 hr 9 min

Top Podcasts In Technology

Listeners Also Subscribed To

More by Harvard Extension School