Lecture

Right Arrow

SEARCH COURSES / LECTURES

Left Arrow

Theory of Computation (V-U)

(45 Lectures Available)

S# Lecture Course Institute Instructor Discipline
26
  • Reducibility (Cont.), Recursion Theorem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
27
  • Relationship between Space and Time Complexity, PSPACE-Completeness (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
28
  • Russell's Paradox, Emptiness Problem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
29
  • Satisfiability (Cont.) (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
30
  • Satisfiability (Cont.), 3-Color (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
31
  • Set Thoery, Sequences, Tuples, Functions, Relations and Graphs (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
32
  • Space Complexity (Cont.) (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
33
  • Space Complexity (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
34
  • Subset Sum Problem, Satisfiability (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
35
  • The Class NP (Cont.) (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
36
  • The Class NP (Cont.), Polynomial Time Verifiers (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
37
  • The Cook-Levin Theorem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
38
  • The Halting Problem, Universal TM (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
39
  • The Subset Sum Problem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
40
  • The Traveling Salesman Problem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
41
  • TQBF (Cont.), FORMULA-GAME, Generalized Geography (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
42
  • TQBF, Prove that TQBF is PSPACE-Complete (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
43
  • Turing Machine and its Language (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
44
  • Undicidability of the Halting Problem (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences
45
  • Variants of Turing Machines (V-U)
Theory of Computation (V-U) Virtual University Dr. Sarmad Abbasi Applied Sciences