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

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

Follow CSCI E-207: Introduction to Formal Systems and Computation - Video
Share on
Copy link to clipboard

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…

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


    • Dec 21, 2007 LATEST EPISODE
    • infrequent NEW EPISODES
    • 1h 4m AVG DURATION
    • 24 EPISODES


    Search for episodes from CSCI E-207: Introduction to Formal Systems and Computation - Video with a specific topic:

    Latest episodes from CSCI E-207: Introduction to Formal Systems and Computation - Video

    Conclusion-L24

    Play Episode Listen Later Dec 21, 2007 41:47


    conclusion
    NP-Completeness-L22

    Play Episode Listen Later Dec 21, 2007 74:24


    completeness
    Cook-Levin Theorem and PSPACE-L23

    Play Episode Listen Later Dec 21, 2007 70:44


    cook levin theorem
    Polynomial Time-L20

    Play Episode Listen Later Dec 21, 2007 74:06


    polynomials
    NP-L21

    Play Episode Listen Later Dec 21, 2007 70:51


    Computational Complexity-L19

    Play Episode Listen Later Dec 20, 2007 68:00


    complexity computational
    Reductions and Rice's Theorem-L17

    Play Episode Listen Later Dec 20, 2007 71:00


    theorem reductions
    Undecidable Problems and Unprovable Theorems-L18

    Play Episode Listen Later Dec 20, 2007 59:58


    theorems
    Undecidability-L16

    Play Episode Listen Later Dec 18, 2007 63:36


    Decidability and a Universal Turing Machine-L15

    Play Episode Listen Later Dec 10, 2007 74:36


    universal turing machines
    Church's Thesis-L14

    Play Episode Listen Later Dec 10, 2007 72:06


    thesis
    Turing Machines-L13

    Play Episode Listen Later Dec 10, 2007 59:34


    turing machines
    Context-Free Recognition-L12

    Play Episode Listen Later Dec 10, 2007 62:03


    context recognition
    CFL Closure Properties, Non-CF Languages-L11

    Play Episode Listen Later Dec 10, 2007 60:19


    languages properties closure
    Pushdown Automata-L10

    Play Episode Listen Later Dec 10, 2007 67:24


    automata
    Non-Regular Languages-L08

    Play Episode Listen Later Dec 10, 2007 61:31


    regular languages
    Context-Free Grammars-L09

    Play Episode Listen Later Dec 10, 2007 65:51


    context grammars
    Regular Expressions-L06

    Play Episode Listen Later Dec 10, 2007 69:41


    regular expressions
    Countability and Uncountability-L07

    Play Episode Listen Later Dec 10, 2007 41:52


    Nondeterministic Finite Automata-L05

    Play Episode Listen Later Dec 7, 2007 70:23


    finite automata
    Finite Automata-L04

    Play Episode Listen Later Dec 7, 2007 64:55


    finite automata
    Proofs-L03

    Play Episode Listen Later Dec 4, 2007 63:24


    proofs
    Mathematical Preliminaries-L02

    Play Episode Listen Later Dec 4, 2007 71:25


    mathematical
    Introduction-L01

    Play Episode Listen Later Dec 4, 2007 57:36


    Claim CSCI E-207: Introduction to Formal Systems and Computation - Video

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel