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

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

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.

Podcasts

Cook-Levin Theorem and PSPACE-L23

Published: Dec. 21, 2007, 4:29 p.m.
Duration: 1 hour 10 minutes 47 seconds

Listed in: Technology

Conclusion-L24

Published: Dec. 21, 2007, 4:08 p.m.
Duration: 41 minutes 50 seconds

Listed in: Technology

NP-Completeness-L22

Published: Dec. 21, 2007, 3:11 p.m.
Duration: 1 hour 14 minutes 27 seconds

Listed in: Technology

NP-L21

Published: Dec. 21, 2007, 12:49 p.m.
Duration: 1 hour 10 minutes 55 seconds

Listed in: Technology

Polynomial Time-L20

Published: Dec. 20, 2007, 11:22 p.m.
Duration: 1 hour 14 minutes 9 seconds

Listed in: Technology

Computational Complexity-L19

Published: Dec. 20, 2007, 11:09 p.m.
Duration: 1 hour 8 minutes 3 seconds

Listed in: Technology

Reductions and Rice's Theorem-L17

Published: Dec. 20, 2007, 6:38 p.m.
Duration: 1 hour 11 minutes 4 seconds

Listed in: Technology

Undecidable Problems and Unprovable Theorems-L18

Published: Dec. 20, 2007, 6:37 p.m.
Duration: 1 hour 1 second

Listed in: Technology

Undecidability-L16

Published: Dec. 18, 2007, 5:18 p.m.
Duration: 1 hour 3 minutes 39 seconds

Listed in: Technology

Pushdown Automata-L10

Published: Dec. 10, 2007, 7:43 p.m.
Duration: 1 hour 7 minutes 28 seconds

Listed in: Technology

Decidability and a Universal Turing Machine-L15

Published: Dec. 10, 2007, 7:32 p.m.
Duration: 1 hour 14 minutes 40 seconds

Listed in: Technology

Church's Thesis-L14

Published: Dec. 10, 2007, 7:26 p.m.
Duration: 1 hour 12 minutes 10 seconds

Listed in: Technology

Turing Machines-L13

Published: Dec. 10, 2007, 7:21 p.m.
Duration: 59 minutes 38 seconds

Listed in: Technology

Context-Free Recognition-L12

Published: Dec. 10, 2007, 7:17 p.m.
Duration: 1 hour 2 minutes 7 seconds

Listed in: Technology

CFL Closure Properties, Non-CF Languages-L11

Published: Dec. 10, 2007, 7:08 p.m.
Duration: 1 hour 22 seconds

Listed in: Technology

Context-Free Grammars-L09

Published: Dec. 10, 2007, 6:57 p.m.
Duration: 1 hour 5 minutes 54 seconds

Listed in: Technology

Non-Regular Languages-L08

Published: Dec. 10, 2007, 6:55 p.m.
Duration: 1 hour 1 minute 34 seconds

Listed in: Technology

Countability and Uncountability-L07

Published: Dec. 10, 2007, 6:52 p.m.
Duration: 41 minutes 54 seconds

Listed in: Technology

Regular Expressions-L06

Published: Dec. 10, 2007, 6:49 p.m.
Duration: 1 hour 9 minutes 45 seconds

Listed in: Technology

Nondeterministic Finite Automata-L05

Published: Dec. 4, 2007, 8:40 p.m.
Duration: 1 hour 10 minutes 26 seconds

Listed in: Technology

Finite Automata-L04

Published: Dec. 4, 2007, 8:27 p.m.
Duration: 1 hour 4 minutes 58 seconds

Listed in: Technology

Proofs-L03

Published: Dec. 4, 2007, 8:13 p.m.
Duration: 1 hour 3 minutes 28 seconds

Listed in: Technology

Mathematical Preliminaries-L02

Published: Dec. 4, 2007, 8:07 p.m.
Duration: 1 hour 11 minutes 28 seconds

Listed in: Technology

Introduction-L01

Published: Dec. 4, 2007, 8:03 p.m.
Duration: 57 minutes 39 seconds

Listed in: Technology