SEARCH COURSES

Theory of Computation (V-U)

(45 Lectures Available)


S# Lecture Course Institute Instructor Discipline
1 Introduction (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
2 Set Thoery, Sequences, Tuples, Functions, Relations and Graphs (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
3 Turing Machine and its Language (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
4 Designing Turing Machines (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
5 Variants of Turing Machines (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
6 Enumerators, Dovetailing, The Church-Turing Thesis, Hilbert's Tenth Problem (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
7 Decidable Languages, The Acceptance Problem for DFAs (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
8 The Halting Problem, Universal TM (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
9 Undicidability of the Halting Problem (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
10 Linear Bounded Automata, Computation Histories, Context Free Grammars (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
11 Russell's Paradox, Emptiness Problem (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
12 Post Correspondence Problem, Computable Functions (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
13 Computable Functions (Cont.), Reducibility (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
14 Reducibility (Cont.), Recursion Theorem (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
15 Recursion Theorem (Cont.), Logical Theories (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
16 Logical Theories (Cont.) (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
17 Logical Theories (Cont.), Godel's Theorem (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
18 Oracles, Turing Reducibility (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
19 A definition of Information, Incompressible Strings (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
20 Incompressible Strings (Cont.), Complexity Theory (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
21 Big Oh and Little Oh Notations, Time Complexity (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
22 Non-Deterministic Time, The Class P, The Class NP (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
23 The Class NP (Cont.), Polynomial Time Verifiers (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
24 The Class NP (Cont.) (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
25 Subset Sum Problem, Satisfiability (V-U) Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences

of 2 45 Lectures Available.