Discrete Mathematical Structures (View More...)Buy this course in DVD for Rs.200
Methods of Proof | lec7 | 23:28 to 27:35 | VIDEO | |
Methods of Proof | lec7 | 27:35 to 29:08 | VIDEO | |
Methods of Proof | lec7 | 29:08 to 32:20 | VIDEO |
Logic for CS (View More...)Buy this course in DVD for Rs.200
The Hilbert System : Completeness | lec16 | 23:32 to upto | VIDEO | |
Unification | lec28 | 21:35 to 24:26 | VIDEO | |
Resolution in FOL | lec29 | 35:28 to 49:49 | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)Buy this course in DVD for Rs.200
Turing Machines | lec26 | 22:52 to 28:33 | VIDEO | |
Turing Machine as Acceptor, Techniques for TM Construction | lec28 | 54:18 to upto | VIDEO | |
Recursive Sets, Recursively Innumerable Sets, Encoding of TM, Halting Problem | lec31 | 44:03 to 48:34 | VIDEO |
No Records Found