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
    • 3.2 • 5 Ratings

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

Customer Reviews

3.2 out of 5
5 Ratings

5 Ratings

Alidogru2 ,

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

Top Podcasts In Technology

Listeners Also Subscribed To

More by Harvard Extension School