profhugodegaris

Species Dominance, Artilects, Artilect War, Cosmists, Terrans, Gigadeath, Essays, Media, etc

THEORY OF COMPUTATION (Sen, M1, Sipser)

Lecture Topic : (Computer Theory) THEORY OF COMPUTATION (Sen, M1, Sipser)

Recommended Text(s) :

“Introduction to the Theory of Computation”, Michael Sipser, PWS, 1997

Approx price new on Amazon.com (hard copy) : $58

Approx price second hand on Amazon.com (hard copy) : $21

Availability free on eMule.com (e-format) : Yes

eMule search key word(s) : Theory of Computation, Sipser

Lectures and Links :

—–

Ch.0 “Introduction”

Playlist (link)

Lecture 0a  (part 1 of 2)  (link)      uploaded (8 sept 2012)      0.1  Intro, Automata and Languages, Computability Theory, Complexity  Theory

Lecture 0a  (part 2 of 2)  (link)      uploaded (8 sept 2012)

Lecture 0b  (part 1 of 2)  (link)      uploaded (10 sept 2012)

Lecture 0b  (part 2 of 2)  (link)      uploaded (10 sept 2012)

Lecture 0c  (part 1 of 3)  (link)      uploaded (9 sept 2012)      0.2   Mathematical Notions and Terminology

Lecture 0c  (part 2 of 3)  (link)      uploaded (9 sept 2012)

Lecture 0c  (part 3 of 3)  (link)      uploaded (9 sept 2012)

Lecture 0d  (part 1 of 3)  (link    uploaded (9 sept 2012)      Subsets, Union

Lecture 0d  (part 2 of 3)  (link)      uploaded (9 sept 2012)

Lecture 0d  (part 3 of 3)  (link)      uploaded (10 sept 2012)

Lecture 0e (part 1 of 2)  (link)      uploaded (10 sept 2012)      Complement, Venn Diagrams, Sequences and Tuples, Power Set

Lecture 0e  (part 2 of 2)  (link)      uploaded (10 sept 2012)

Lecture 0f (part 1 of 2)  (link)      uploaded (10 sept 2012)      Cartesian Product, Functions and Relations

Lecture 0f (part 2 of 2)  (link)      uploaded (10 sept 2012)

Lecture 0g (part 1 of 3)  (link)      uploaded (11 sept 2012)      Domain, Range

Lecture 0g (part 2 of 3)  (link)      uploaded (11 sept 2012)

Lecture 0g(part 3 of 3)  (link)      uploaded (11 sept 2012)

Lecture 0h(part 1 of 2)  (link)      uploaded (11 sept 2012)      Arguments, Predicates, Relations

Lecture 0h (part 2 of 2)  (link)      uploaded (11 sept 2012)

Lecture 0i (part 1 of 3)  (link)      uploaded (11 sept 2012)      Equivalence Relation

Lecture 0i (part 2 of 3)  (link)      uploaded (11 sept 2012)

Lecture 0i (part 3 of 3)  (link)      uploaded (14 sept 2012)

Lecture 0j (part 1 of 2)  (link)      uploaded (12 sept 2012)      Graphs

Lecture 0j (part 2 of 2)  (link)      uploaded (12 sept 2012)

Lecture 0k (part 1 of 2)  (link)      uploaded (12 sept 2012)      Labeled Graph,  Subgraph

Lecture 0k (part 2 of 2)  (link)      uploaded (12 sept 2012)

Lecture 0L (part 1 of 2)  (link)      uploaded (13 sept 2012)      Path, Connected Graph, Tree, Directed Graph

Lecture 0L (part 2 of 2)  (link    uploaded (14 sept 2012)

Lecture 0m (part 1 of 2)  (link)      uploaded (13 sept 2012)      Strings and Languages

Lecture 0m (part 2 of 2)  (link)      uploaded (13 sept 2012)

Lecture 0n (part 1 of 2)  (link)      uploaded (13 sept 2012)      Concatenation, Language, Boolean  Logic

Lecture 0n (part 2 of 2)  (link)      uploaded (13 sept 2012)

Lecture 0o (part 1 of 2)  (link)      uploaded (13 sept 2012)      Conjunction,  Disjunction,  Truth Table, Exclusive Or, Equality, Implication

Lecture 0o (part 2 of 2)  (link)      uploaded (14 sept 2012)

Lecture 0p (part 1 of 2)  (link)      uploaded (14 sept 2012)      0.3   Definitions, Theorems, Proofs

Lecture 0p (part 2 of 2)  (link)      uploaded (14 sept 2012)

Lecture 0q (part 1 of 2)  (link)      uploaded (14 sept 2012)      Proof, Theorem, Lemma, Corollary

Lecture 0q (part 2 of 2)  (link)      uploaded (14 sept 2012)

Lecture 0r (part 1 of 2)  (link    uploaded (15 sept 2012)      IFF, If and Only If, Proving Set Equality

Lecture 0r (part 2 of 2)  (link)      uploaded (15 sept 2012)

Lecture 0s (part 1 of 3)  (link)      uploaded (15 sept 2012)

Lecture 0s (part 2 of 3)  (link)      uploaded (15 sept 2012)

Lecture 0s (part 3 of 3)  (link)      uploaded (15 sept 2012)

Lecture 0t (part 1 of 2)  (link)      uploaded (15 sept 2012)      Tips for Proving Theorems

Lecture 0t (part 2 of 2)  (link)      uploaded (15 sept 2012)

Lecture 0u (part 1 of 2)  (link)      uploaded (15 sept 2012)      0.4  Types of Proof, Proofs by Construction,  Contradiction,  Induction

Lecture 0u (part 2 of 2)  (link)      uploaded (15 sept 2012)

Lecture 0v (part 1 of 2)  (link)      uploaded (16 sept 2012)      Proof by Contradiction

Lecture 0v (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 0w (part 1 of 3)  (link)      uploaded (16 sept 2012)      Proof by Induction

Lecture 0w (part 2 of 3)  (link    uploaded (16 sept 2012)

Lecture 0w (part 3 of 3)  (link)      uploaded (16 sept 2012)

Lecture 0x (part 1 of 2)  (link)      uploaded (16 sept 2012)      Basis Step, Induction Step

Lecture 0x (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 0y (part 1 of 2)  (link)      uploaded (16 sept 2012)

Lecture 0y (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 0z (part 1 of 3)  (link)      uploaded (16 sept 2012)      PROBLEM SOLVING SESSION Ch 0

Lecture 0z (part 2 of 3)  (link)      uploaded (16 sept 2012)

Lecture 0z (part 3 of 3)  (link)      uploaded (17 sept 2012)

—–

Ch.1   “Regular Languages”

Playlist  (link)

Lecture 1a  (part 1 of 2)  (link)      uploaded (16 sept 2012)       1.1  Finite Automata

Lecture 1a  (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 1b  (part 1 of 2)  (link     uploaded (16 sept 2012)

Lecture 1b  (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 1c  (part 1 of 2)  (link)      uploaded (16 sept 2012)

Lecture 1c  (part 2 of 2)  (link)      uploaded (16 sept 2012)

Lecture 1d  (part 1 of 3)  (link)      uploaded (16 sept 2012)

Lecture 1d  (part 2 of 3)  (link)      uploaded (16 sept 2012)

Lecture 1d  (part 3 of 3)  (link)      uploaded (16 sept 2012)

Lecture 1e  (part 1 of 3)  (link)      uploaded (18 sept 2012)     Formal  Definition of a Finite Automaton

Lecture 1e  (part 2 of 3)  (link)      uploaded (17 sept 2012)

Lecture 1e  (part 3 of 3)  (link)      uploaded (17 sept 2012)

Lecture 1f  (part 1 of 2)  (link)      uploaded (17 sept 2012)

Lecture 1f  (part 2 of 2)  (link)      uploaded (18 sept 2012)

Lecture 1g  (part 1 of 2)  (link)      uploaded (18 sept 2012)

Lecture 1g  (part 2 of 2)  (link)      uploaded (18 sept 2012)

Lecture 1h  (part 1 of 2)  (link)      uploaded (18 sept 2012)      Examples of Finite Automata

Lecture 1h  (part 2 of 2)  (link)      uploaded (18 sept 2012)

Lecture 1i  (part 1 of 2)  (link)      uploaded (18 sept 2012)

Lecture 1i  (part 2 of 2)  (link)      uploaded (19 sept 2012)

Lecture 1j  (part 1 of 2)  (link)      uploaded (19 sept 2012)      Formal Definition of Computation

Lecture 1j  (part 2 of 2)  (link    uploaded (19 sept 2012)

Lecture 1k  (part 1 of 2)  (link)      uploaded (20 sept 2012)

Lecture 1k  (part 2 of 2)  (link     uploaded (20 sept 2012)

Lecture 1L  (part 1 of 2)  (link)      uploaded (20 sept 2012)      Designing Finite Automata

Lecture 1L  (part 2 of 2)  (link)      uploaded (20 sept 2012)

Lecture 1m  (part 1 of 3)  (link)      uploaded (20 sept 2012)

Lecture 1m  (part 2 of 3)  (link)      uploaded (20 sept 2012)

Lecture 1m  (part 3 of 3)  (link    uploaded (20 sept 2012)

Lecture 1n  (part 1 of 2)  (link)      uploaded (20 sept 2012)      The Regular Operations

Lecture 1n  (part 2 of 2)  (link)      uploaded (20 sept 2012)

Lecture 1o  (part 1 of 3)  (link)      uploaded (20 sept 2012)

Lecture 1o  (part 2 of 3)  (link)      uploaded (20 sept 2012)

Lecture 1o  (part 3 of 3)  (link)      uploaded (20 sept 2012)

Lecture 1p  (part 1 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1p  (part 2 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1q  (part 1 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1q  (part 2 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1r  (part 1 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1r  (part 2 of 2)  (link)      uploaded (21 sept 2012)

Lecture 1s  (part 1 of 2)  (link)      uploaded (21 sept 2012)      1.2   Nondeterminism

Lecture 1s  (part 2 of 2)  (link)      uploaded (22 sept 2012)

Lecture 1t  (part 1 of 1)  (link)      uploaded (22 sept 2012)

Lecture 1u  (part 1 of 1)  (link)      uploaded (22 sept 2012)

Lecture 1v  (part 1 of 3)  (link)      uploaded (22 sept 2012)

Lecture 1v  (part 2 of 3)  (link)      uploaded (22 sept 2012)

Lecture 1v  (part 3 of 3)  (link)      uploaded (22 sept 2012)

Lecture 1w  (part 1 of 2)  (link)      uploaded (22 sept 2012)

Lecture 1w  (part 2 of 2)  (link)      uploaded (22 sept 2012)

Lecture 1x  (part 1 of 1)  (link)      uploaded (22 sept 2012)

Lecture 1y  (part 1 of 2)  (link)       uploaded (22 sept 2012)      Formal Definition of a Nondeterministic Finite Automaton

Lecture 1y  (part 2 of 2)  (link)       uploaded (23 sept 2012)

Lecture 1z  (part 1 of 3)  (link)       uploaded (23 sept 2012)

Lecture 1z  (part 2 of 3)  (link)       uploaded (23 sept 2012)

Lecture 1z  (part 3 of 3)  (link)       uploaded (23 sept 2012)

Lecture 1aa  (part 1 of 2)  (link)       uploaded (23 sept 2012)      Equivalence of NFAs and DFAs

Lecture 1aa  (part 2 of 2)  (link)       uploaded (23 sept 2012)

Lecture 1bb  (part 1 of 2)  (link)       uploaded (23 sept 2012)

Lecture 1bb  (part 2 of 2)  (link)       uploaded (23 sept 2012)

Lecture 1cc  (part 1 of 4)  (link)       uploaded (24 sept 2012)

Lecture 1cc  (part 2 of 4)  (link)       uploaded (24 sept 2012)

Lecture 1cc  (part 3 of 4)  (link     uploaded (24 sept 2012)

Lecture 1cc  (part 4 of 4)  (link)       uploaded (24 sept 2012)

Lecture 1dd  (part 1 of 2)  (link)       uploaded (24 sept 2012)

Lecture 1dd  (part 2 of 2)  (link)       uploaded (24 sept 2012)

Lecture 1ee  (part 1 of 3)  (link)       uploaded (24 sept 2012)

Lecture 1ee  (part 2 of 3)  (link)       uploaded (24 sept 2012)

Lecture 1ee  (part 3 of 3)  (link)       uploaded (24 sept 2012)

Lecture 1ff  (part 1 of 2)  (link)       uploaded (24 sept 2012)      Closure Under Regular Operations

Lecture 1ff  (part 2 of 2)  (link)       uploaded (24 sept 2012)

Lecture 1gg  (part 1 of 3)  (link)       uploaded (25 sept 2012)

Lecture 1gg  (part 2 of 3)  (link)       uploaded (25 sept 2012)

Lecture 1gg  (part 3 of 3)  (link)       uploaded (25 sept 2012)

Lecture 1hh  (part 1 of 2)  (link)       uploaded (25 sept 2012)

Lecture 1hh  (part 2 of 2)  (link)       uploaded (25 sept 2012)

Lecture 1ii  (part 1 of 2)  (link)       uploaded (25 sept 2012)

Lecture 1ii  (part 2 of 2)  (link)       uploaded (25 sept 2012)

Lecture 1jj  (part 1 of 2)  (link)       uploaded (25 sept 2012)      1.3   Regular Expressions

Lecture 1jj  (part 2 of 2)  (link     uploaded (25 sept 2012)

Lecture 1kk  (part 1 of 2)  (link)       uploaded (26 sept 2012)      Formal Definition of a Regular Expression

Lecture 1kk  (part 2 of 2)  (link)       uploaded (26 sept 2012)

Lecture 1LL  (part 1 of 2)  (link)       uploaded (26 sept 2012)

Lecture 1LL  (part 2 of 2)  (link)       uploaded (26 sept 2012)

Lecture 1mm  (part 1 of 3)  (link)       uploaded (26 sept 2012)

Lecture 1mm  (part 2 of 3)  (link)       uploaded (26 sept 2012)

Lecture 1mm  (part 3 of 3)  (link)       uploaded (26 sept 2012)

Lecture 1nn  (part 1 of 2)  (link)       uploaded (26 sept 2012)      Equivalence with Finite Automata

Lecture 1nn  (part 2 of 2)  (link)       uploaded (27 sept 2012)

Lecture 1oo  (part 1 of 3)  (link)       uploaded (27 sept 2012)

Lecture 1oo  (part 2 of 3)  (link)       uploaded (27 sept 2012)

Lecture 1oo  (part 3 of 3)  (link     uploaded (27 sept 2012)

Lecture 1pp  (part 1 of 2)  (link)       uploaded (27 sept 2012)

Lecture 1pp  (part 2 of 2)  (link)       uploaded (27 sept 2012)

Lecture 1qq  (part 1 of 3)  (link)       uploaded (27 sept 2012)      A Generalized Nondeterministic Finite Automaton

Lecture 1qq  (part 2 of 3)  (link)       uploaded (27 sept 2012)

Lecture 1qq  (part 3 of 3)  (link)       uploaded (27 sept 2012)

Lecture 1rr  (part 1 of 2)  (link)       uploaded (27 sept 2012)

Lecture 1rr  (part 2 of 2)  (link)       uploaded (27 sept 2012)

Lecture 1ss  (part 1 of 3)  (link)       uploaded (28 sept 2012)

Lecture 1ss  (part 2 of 3)  (link     uploaded (28 sept 2012)

Lecture 1 ss (part 3 of 3)  (link)       uploaded (28 sept 2012)

Lecture 1tt  (part 1 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1tt  (part 2 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1tt  (part 3 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1uu  (part 1 of 3)  (link)       uploaded (28 sept 2012)

Lecture 1uu  (part 2 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1uu  (part 3 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1vv  (part 1 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1vv  (part 2 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1vv  (part 3 of 3)  (link)       uploaded (29 sept 2012)

Lecture 1ww  (part 1 of 2)  (link)       uploaded (30 sept 2012)

Lecture 1ww  (part 2 of 2)  (link)       uploaded (30 sept 2012)

Lecture 1xx  (part 1 of 2)  (link     uploaded (30 sept 2012)    1.4   Non Regular Languages

Lecture 1xx  (part 2 of 2)  (link)       uploaded (30 sept 2012)

Lecture 1yy  (part 1 of 2)  (link)       uploaded (30 sept 2012)      The Pumping Lemma for Regular Languages

Lecture 1yy  (part 2 of 2)  (link     uploaded (30 sept 2012)

Lecture 1zz  (part 1 of 2)  (link)       uploaded (30 sept 2012)

Lecture 1zz  (part 2 of 2)  (link)       uploaded (30 sept 2012)

Lecture 1aaa  (part 1 of 4)  (link)       uploaded (1 oct  2012)

Lecture 1aaa  (part 2 of 4)  (link)       uploaded (1 oct  2012)

Lecture 1aaa  (part 3 of 4)  (link)       uploaded (1 oct  2012)

Lecture 1aaa  (part 4 of 4)  (link)       uploaded (1 oct  2012)

Lecture 1bbb  (part 1 of 2)  (link)       uploaded (1 oct  2012)

Lecture 1bbb  (part 2 of 2)  (link)       uploaded (1 oct  2012)

Lecture 1ccc  (part 1 of 2)  (link)       uploaded (2 oct  2012)

Lecture 1ccc  (part 2 of 2)  (link)       uploaded (2 oct  2012)

Lecture 1ddd  (part 1 of 3)  (link)       uploaded (2 oct  2012)

Lecture 1ddd  (part 2 of 3)  (link)       uploaded (2 oct  2012)

Lecture 1ddd  (part 3 of 3)  (link)       uploaded (2 oct  2012)

Lecture 1eee  (part 1 of 2)  (link)       uploaded (2 oct  2012)

Lecture 1eee  (part 2 of 2)  (link)       uploaded (2 oct  2012)

Lecture 1fff  (part 1 of 3)  (link)       uploaded (2 oct  2012)

Lecture 1fff  (part 2 of 3)  (link)       uploaded (2 oct  2012)

Lecture 1fff  (part 3 of 3)  (link     uploaded (2 oct  2012)

—–

Ch.2  “Context-Free Languages”

Playlist  (link)

Lecture 2a  (part 1 of 2)  (link)       uploaded (3 oct  2012)      Context Free Languages Ch. 2

Lecture 2a  (part 2 of 2)  (link)       uploaded (3 oct  2012)

Lecture 2b  (part 1 of 2)  (link)       uploaded (3 oct  2012)

Lecture 2b  (part 2 of 2)  (link)       uploaded (3 oct  2012)      2.1   Context Free Grammars

Lecture 2c  (part 1 of 2)  (link)       uploaded (3 oct  2012)

Lecture 2c  (part 2 of 2)  (link)       uploaded (3 oct  2012)

Lecture 2d  (part 1 of 2)  (link)       uploaded (4 oct  2012)      Formal Definition of a Context Free Grammar

Lecture 2d  (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2e  (part 1 of 2)  (link     uploaded (4 oct  2012)      Examples of Context Free Grammars (CFGs)

Lecture 2e (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2f  (part 1 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2f  (part 2 of 2)  (link     uploaded (4 oct  2012)

Lecture 2g  (part 1 of 2)  (link)       uploaded (4 oct  2012)      Designing Context Free Grammars (CFGs)

Lecture 2g  (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2h  (part 1 of 2)  (link)       uploaded (4 oct  2012)      Ambiguity

Lecture 2h  (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2i  (part 1 of 2)  (link     uploaded (4 oct  2012)

Lecture 2i  (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2j  (part 1 of 2)  (link)       uploaded (4 oct  2012)      Chomsky Normal Form

Lecture 2j  (part 2 of 2)  (link)       uploaded (4 oct  2012)

Lecture 2k  (part 1 of 2)  (link)       uploaded (6 oct  2012)

Lecture 2k  (part 2 of 2)  (link)       uploaded (6 oct  2012)

Lecture 2L  (part 1 of 3)  (link)       uploaded (6 oct  2012)

Lecture 2L  (part 2 of 3)  (link)       uploaded (6 oct  2012)

Lecture 2L  (part 3 of 3)  (link)       uploaded (6 oct  2012)

Lecture 2m  (part 1 of 2)  (link)       uploaded (6 oct  2012)      2.2    PushDown Automata

Lecture 2m  (part 2 of 2)  (link)       uploaded (6 oct  2012)

Lecture 2n  (part 1 of 1)  (link)       uploaded (6 oct  2012)

Lecture 2o  (part 1 of 2)  (link)       uploaded (7 oct  2012)      Formal Definition of PushDown Automata (PDAs)

Lecture 2o  (part 2 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2p  (part 1 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2p  (part 2 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2q  (part 1 of 2)  (link)       uploaded (7 oct  2012)      Examples of PushDown Automata (PDAs)

Lecture 2q  (part 2 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2r  (part 1 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2r  (part 2 of 2)  (link)       uploaded (7 oct  2012)

Lecture 2s  (part 1 of 5)  (link     uploaded (8 oct  2012)

Lecture 2s  (part 2 of 5)  (link)       uploaded (8 oct  2012)

Lecture 2s  (part 3 of 5)  (link)       uploaded (8 oct  2012)

Lecture 2s  (part 4 of 5)  (link)       uploaded (8 oct  2012)

Lecture 2s  (part 5 of 5)  (link)       uploaded (8 oct  2012)

Lecture 2t  (part 1 of 2)  (link)       uploaded (8 oct  2012)      Equivalence with  Context Free Grammars

Lecture 2t  (part 2 of 2)  (link)       uploaded (8 oct  2012)

Lecture 2u  (part 1 of 1)  (link)       uploaded (8 oct  2012)

Lecture 2v  (part 1 of 2)  (link)       uploaded (8 oct  2012)

Lecture 2v  (part 2 of 2)  (link)       uploaded (8 oct  2012)

Lecture 2w  (part 1 of 5)  (link)       uploaded (9 oct  2012)

Lecture 2w  (part 2 of 5)  (link)       uploaded (9 oct  2012)

Lecture 2w  (part 3 of 5)  (link)       uploaded (9 oct  2012)

Lecture 2w  (part 4 of 5)  (link)       uploaded (9 oct  2012)

Lecture 2w  (part 5 of 5)  (link)       uploaded (10 oct  2012)

Lecture 2x  (part 1 of 2)  (link)       uploaded (9 oct  2012)

Lecture 2x  (part 2 of 2)  (link)       uploaded (9 oct  2012)

Lecture 2y  (part 1 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2y  (part 2 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2z  (part 1 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2z  (part 2 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2aa  (part 1 of 4)  (link)       uploaded (10 oct  2012)

Lecture 2aa  (part 2 of 4)  (link)       uploaded (10 oct  2012)

Lecture 2aa  (part 3 of 4)  (link)       uploaded (10 oct  2012)

Lecture 2aa  (part 4 of 4)  (link)       uploaded (10 oct  2012)

Lecture 2bb  (part 1 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2bb  (part 2 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2cc  (part 1 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2cc  (part 2 of 2)  (link)       uploaded (10 oct  2012)

Lecture 2dd  (part 1 of 1)  (link)       uploaded (10 oct  2012)      2.3   Non Context Free Languages

Lecture 2ee  (part 1 of 3)  (link)       uploaded (11 oct  2012)      The Pumping Lemma for  Context Free Grammars

Lecture 2ee  (part 2 of 3)  (link)       uploaded (11 oct  2012)

Lecture 2ee  (part 3 of 3)  (link)       uploaded (11 oct  2012)

Lecture 2ff  (part 1 of 2)  (link)       uploaded (11 oct  2012)

Lecture 2ff  (part 2 of 2)  (link)       uploaded (11 oct  2012)

Lecture 2gg  (part 1 of 2)  (link)       uploaded (11 oct  2012)

Lecture 2gg  (part 2 of 2)  (link)       uploaded (11 oct  2012)

Lecture 2hh  (part 1 of 1)  (link)       uploaded (11 oct  2012)

Lecture 2ii  (part 1 of 3)  (link)       uploaded (12 oct  2012)

Lecture 2ii  (part 2 of 3)  (link)       uploaded (12 oct  2012)

Lecture 2ii  (part 3 of 3)  (link)       uploaded (12 oct  2012)

Lecture 2jj  (part 1 of 1)  (link)       uploaded (12 oct  2012)

Lecture 2kk  (part 1 of 2)  (link)       uploaded (12 oct  2012)

Lecture 2kk  (part 2 of 2)  (link)       uploaded (12 oct  2012)

Lecture 2LL  (part 1 of 2)  (link)       uploaded (12 oct  2012)

Lecture 2LL  (part 2 of 2)  (link)       uploaded (12 oct  2012)

—–

Ch.3  ‘”The Church-Turing Thesis”

Playlist  (link)

Lecture 3a  (part 1 of 3)  (link)       uploaded (13 oct  2012)     3.1  Turing Machines

Lecture 3a  (part 2 of 3)  (link)       uploaded (13 oct  2012)

Lecture 3a  (part 3 of 3)  (link)       uploaded (13 oct  2012)

Lecture 3b  (part 1 of 2)  (link)       uploaded (13 oct  2012)     Example of a Turing Machine

Lecture 3b  (part 2 of 2)  (link)       uploaded (13 oct  2012)

Lecture 3c  (part 1 of 1)  (link)       uploaded (13 oct  2012)

Lecture 3d  (part 1 of 2)  (link)       uploaded (13 oct  2012)     Formal Definition of a Turing Machine

Lecture 3d  (part 2 of 2)  (link)       uploaded (13 oct  2012)

Lecture 3e  (part 1 of 4)  (link)       uploaded (15 oct  2012)

Lecture 3e  (part 2 of 4)  (link)       uploaded (15 oct  2012)

Lecture 3e  (part 3 of 4)  (link)       uploaded (15 oct  2012)

Lecture 3e (part 4 of 4)  (link)       uploaded (16 oct  2012)

Lecture 3f  (part 1 of 2)  (link)       uploaded (15 oct  2012)

Lecture 3f  (part 2 of 2)  (link)       uploaded (15 oct  2012)

Lecture 3g  (part 1 of 2)  (link)       uploaded (15 oct  2012)

Lecture 3g  (part 2 of 2)  (link)       uploaded (15 oct  2012)

Lecture 3h  (part 1 of 2)  (link)       uploaded (15 oct  2012)       Examples of Turing Machines

Lecture 3h  (part 2 of 2)  (link)       uploaded (15 oct  2012)

Lecture 3i  (part 1 of 3)  (link)       uploaded (16 oct  2012)

Lecture 3i  (part 2 of 3)  (link)       uploaded (16 oct  2012)

Lecture 3i  (part 3 of 3)  (link)       uploaded (16 oct  2012)

Lecture 3j  (part 1 of 3)  (link)       uploaded (16 oct  2012)

Lecture 3j  (part 2 of 3)  (link     uploaded (16 oct  2012)

Lecture 3j  (part 3 of 3)  (link)       uploaded (16 oct  2012)

Lecture 3k  (part 1 of 2)  (link)       uploaded (16 oct  2012)

Lecture 3k  (part 2 of 2)  (link)       uploaded (16 oct  2012)

Lecture 3L  (part 1 of 1)  (link)       uploaded (16 oct  2012)

Lecture 3m  (part 1 of 2)  (link)       uploaded (17 oct  2012)

Lecture 3m  (part 2 of 2)  (link)       uploaded (17 oct  2012)

Lecture 3n  (part 1 of 3)  (link)       uploaded (17 oct  2012)

Lecture 3n  (part 2 of 3)  (link)       uploaded (17 oct  2012)

Lecture 3n  (part 3 of 3)  (link)       uploaded (17 oct  2012)

Lecture 3o  (part 1 of 2)  (link)       uploaded (17 oct  2012)      3.2  Variants of  Turing Machines    Multi-Tape Turing Machines

Lecture 3o  (part 2 of 2)  (link)       uploaded (17 oct  2012)

Lecture 3p  (part 1 of 1)  (link)       uploaded (17 oct  2012)

Lecture 3q  (part 1 of 4)  (link)       uploaded (18 oct  2012)

Lecture 3q  (part 2 of 4)  (link)       uploaded (18 oct  2012)

Lecture 3q  (part 3 of 4)  (link)       uploaded (18 oct  2012)

Lecture 3q  (part 4 of 4)  (link)       uploaded (18 oct  2012)

Lecture 3r  (part 1 of 3)  (link)       uploaded (18 oct  2012)

Lecture 3r  (part 2 of 3)  (link)       uploaded (18 oct  2012)      Non-Deterministic Turing Machines

Lecture 3r  (part 3 of 3)  (link)       uploaded (18 oct  2012)

Lecture 3s  (part 1 of 3)  (link)       uploaded (18 oct  2012)

Lecture 3s  (part 2 of 3)  (link)       uploaded (18 oct  2012)

Lecture 3s  (part 3 of 3)  (link)       uploaded (18 oct  2012)

Lecture 3t  (part 1 of 2)  (link)       uploaded (18 oct  2012)

Lecture 3t  (part 2 of 2)  (link)       uploaded (18 oct  2012)

Lecture 3u  (part 1 of 2)  (link)       uploaded (19 oct  2012)      Enumerators

Lecture 3u  (part 2 of 2)  (link)       uploaded (19 oct  2012)

Lecture 3v  (part 1 of 3)  (link)       uploaded (19 oct  2012)      Equivalence with Other  Models

Lecture 3v  (part 2 of 3)  (link)       uploaded (19 oct  2012)

Lecture 3v  (part 3 of 3)  (link)       uploaded (19 oct  2012)

Lecture 3w  (part 1 of 3)  (link      uploaded (19 oct  2012)       Definition of Algorithm

Lecture 3w  (part 2 of 3)  (link)       uploaded (19 oct  2012)

Lecture 3w  (part 3 of 3)  (link)       uploaded (19 oct  2012)

Lecture 3x  (part 1 of 1)  (link)       uploaded (19 oct  2012)

Lecture 3y  (part 1 of 3)  (link)       uploaded (22 oct  2012)

Lecture 3y  (part 2 of 3)  (link)       uploaded (22 oct  2012)

Lecture 3y  (part 3 of 3)  (link)       uploaded (22 oct  2012)

Lecture 3z  (part 1 of 3)  (link)       uploaded (22 oct  2012)      Terminology for Describing Turing  Machines

Lecture 3z  (part 2 of 3)  (link)       uploaded (22 oct  2012)

Lecture 3z  (part 3 of 3)  (link)       uploaded (22 oct  2012)

Lecture 3aa  (part 1 of 2)  (link)       uploaded (23 oct  2012)

Lecture 3aa  (part 2 of 2)  (link)       uploaded (23 oct  2012)

Lecture 3bb  (part 1 of 2)  (link)       uploaded (23 oct  2012)

Lecture 3bb  (part 2 of 2)  (link)       uploaded (23 oct  2012)

Lecture 3cc  (part 1 of 3)  (link)       uploaded (23 oct  2012)

Lecture 3cc  (part 2 of 3)  (link)       uploaded (23 oct  2012)

Lecture 3cc  (part 3 of 3)  (link)       uploaded (23 oct  2012)

Lecture 3dd  (part 1 of 4)  (link)       uploaded (23 oct  2012)

Lecture 3dd  (part 2 of 4)  (link)       uploaded (23 oct  2012)

Lecture 3dd  (part 3 of 4)  (link)       uploaded (23 oct  2012)     Intro Future ThComp courses, M1, M2, PhD1

Lecture 3dd  (part 4 of 4)  (link)       uploaded (23 oct  2012)

—–

Ch.4  “Decidability”

Playlist  (link)

Lecture 4a  (part 1 of 3)  (link)       uploaded (25 oct  2012)      4.1    Decidable Languages

Lecture 4a  (part 2 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4a (part 3 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4b  (part 1 of 3)  (link)       uploaded (25 oct  2012)      Decidable Languages

Lecture 4b  (part 2 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4b  (part 3 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4c  (part 1 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4c  (part 2 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4c  (part 3 of 3)  (link)       uploaded (25 oct  2012)

Lecture 4d  (part 1 of 2)  (link)       uploaded (25 oct  2012)

Lecture 4d  (part 2 of 2)  (link)       uploaded (25 oct  2012)

Lecture 4e  (part 1 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4e  (part 2 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4e  (part 3 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4f  (part 1 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4f  (part 2 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4f  (part 3 of 3)  (link)       uploaded (26 oct  2012)

Lecture 4g  (part 1 of 2)  (link)       uploaded (26 oct  2012)      Decidable Problems Concerning CFLs

Lecture 4g  (part 2 of 2)  (link)       uploaded (26 oct  2012)

Lecture 4h  (part 1 of 1)  (link)       uploaded (26 oct  2012)

Lecture 4i  (part 1 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4i  (part 2 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4i  (part 3 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4j  (part 1 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4j  (part 2 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4j  (part 3 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4k  (part 1 of 3)  (link)       uploaded (27 oct  2012)      4.2    The Halting Problem

Lecture 4k  (part 2 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4k  (part 3 of 3)  (link)       uploaded (27 oct  2012)

Lecture 4L  (part 1 of 2)  (link)       uploaded (27 oct  2012)

Lecture 4L  (part 2 of 2)  (link)       uploaded (27 oct  2012)

Lecture 4m  (part 1 of 3)  (link)       uploaded (1 nov 2012)

Lecture 4m  (part 2 of 3)  (link)       uploaded (1 nov 2012)

Lecture 4m  (part 3 of 3)  (link)       uploaded (1 nov 2012)

Lecture 4n  (part 1 of 2)  (link)       uploaded (1 nov 2012)      The Diagonalization Method

Lecture 4n  (part 2 of 2)  (link)       uploaded (1 nov 2012)

Lecture 4o  (part 1 of 2)  (link)       uploaded (1 nov 2012)

Lecture 4o  (part 2 of 2)  (link)       uploaded (1 nov 2012)

Lecture 4p  (part 1 of 2)  (link)       uploaded (1 nov 2012)

Lecture 4p  (part 2 of 2)  (link)       uploaded (1 nov 2012)

Lecture 4q  (part 1 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4q  (part 2 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4q (part 3 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4r  (part 1 of 1)  (link)       uploaded (4 nov 2012)

Lecture 4s  (part 1 of 2)  (link)       uploaded (4 nov 2012)

Lecture 4s  (part 2 of 2)  (link)       uploaded (4 nov 2012)

Lecture 4t  (part 1 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4t  (part 2 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4t  (part 3 of 3)  (link)       uploaded (4 nov 2012)

Lecture 4u  (part 1 of 3)  (link)       uploaded (5 nov 2012)

Lecture 4u  (part 2 of 3)  (link)       uploaded (5 nov 2012)

Lecture 4u  (part 3 of 3)  (link)       uploaded (5 nov 2012)

Lecture 4v  (part 1 of 2)  (link)       uploaded (5 nov 2012)

Lecture 4v  (part 2 of 2)  (link)       uploaded (5 nov 2012)

Lecture 4w  (part 1 of 1)  (link)       uploaded (5 nov 2012)

Lecture 4x  (part 1 of 3)  (link)       uploaded (5 nov 2012)

Lecture 4x  (part 2 of 3)  (link)       uploaded (5 nov 2012)

Lecture 4x  (part 3 of 3)  (link)       uploaded (5 nov 2012)

—–

Ch.5  “Reducibility”

Playlist  (link)

Lecture 5a  (part 1 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5a  (part 2 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5b  (part 1 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5b  (part 2 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5c  (part 1 of 3)  (link)       uploaded (6 nov 2012)

Lecture 5c  (part 2 of 3)  (link)       uploaded (6 nov 2012)

Lecture 5c  (part 3 of 3)  (link)       uploaded (6 nov 2012)

Lecture 5d  (part 1 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5d  (part 2 of 2)  (link)       uploaded (6 nov 2012)

Lecture 5e  (part 1 of 4)  (link)       uploaded (7 nov 2012)

Lecture 5e  (part 2 of 4)  (link)       uploaded (7 nov 2012)

Lecture 5e  (part 3 of 4)  (link)       uploaded (7 nov 2012)

Lecture 5e  (part 4 of 4)  (link)       uploaded (7 nov 2012)

Lecture 5f  (part 1 of 2)  (link)       uploaded (7 nov 2012)

Lecture 5f  (part 2 of 2)  (link)       uploaded (7 nov 2012)

Lecture 5g  (part 1 of 2)  (link)       uploaded (7 nov 2012)

Lecture 5g  (part 2 of 2)  (link)       uploaded (7 nov 2012)

Lecture 5h  (part 1 of 1)  (link)       uploaded (7 nov 2012)

Lecture 5i  (part 1 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5i  (part 2 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5j  (part 1 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5j  (part 2 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5k  (part 1 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5k  (part 2 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5L  (part 1 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5L  (part 2 of 2)  (link)       uploaded (8 nov 2012)

Lecture 5m  (part 1 of 4)  (link)       uploaded (10 nov 2012)

Lecture 5m  (part 2 of 4)  (link)       uploaded (10 nov 2012)

Lecture 5m  (part 3 of 4)  (link)       uploaded (10 nov 2012)

Lecture 5m  (part 4 of 4)  (link)       uploaded (10 nov 2012)

Lecture 5n  (part 1 of 2)  (link)       uploaded (10 nov 2012)

Lecture 5n  (part 2 of 2)  (link)       uploaded (10 nov 2012)

Lecture 5o  (part 1 of 2)  (link)       uploaded (10 nov 2012)

Lecture 5o  (part 2 of 2)  (link)       uploaded (10 nov 2012)

Lecture 5p  (part 1 of 1)  (link)       uploaded (10 nov 2012)

—–

Ch.6  “Advanced Topics in Computability Theory”

Playlist  (link)

Lecture 6a  (part 1 of )  (link)

—–

Ch.7  “Time Complexity”

Playlist  (link)

Lecture 7a  (part 1 of )  (link)

—–

Ch.8  “Space Complexity”

Playlist  (link)

Lecture 8a  (part 1 of )  (link)

—–

Ch.9  “Intractability”

Playlist  (link)

Lecture 9a  (part 1 of )  (link)

—–

Ch.10   “Advanced Topics in Complexity Theory”

Playlist  (link)

Lecture 10a  (part 1 of )  (link)

—–

Links to Other Lecturers on this Topic :

%d bloggers like this: