Course Info

Course Category

Computer Science/Information Technology

Course Level

Graduate

Credit Hours

3

Prerequisites

N/A

Instructor

Dr. Sarmad Abbasi Ph.D Computer Science Rutgers University, USA


Course Contents

Introduction to Theory of Computation and Overview of the Course,
Set Theory, Sets, Sequences, tuples, Functions, Relations and Graphs,
Turing Machine and Its Language,
Designing Turing Machines,
Variants of Turing Machines,
Enumerators, Dovetailing, The ChurchTuring Thesis, Hilbert's tenth Problem,
Decidable Languages, The Acceptance Problem for DFAs,
The Halting Problem, Universal TM,
Undecidability of the Halting Problem,
Linear Bounded Automata, Computation Histories, Context Free Grammars,
Russell's Paradox, Reducibility, Emptiness Problem,
Post Correspondence Problem, Computable Functions,
Computable Functions, Reducibility,
Recursion Theorems, Logical Theories,
Godel's Theorem,
Oracles, Turing Reducibility,
A definition of information, Incompressible Strings,
Incompressible Strings, Complexity Theory,
Big Oh, Little Oh Notations, Time Complexity,
NonDeterministic Time, The Class P, The Class NP,
Polynomial Time Verifiers,
Subset Sum Problem, Satisfiability,
NPCompleteness, 3Color,
The CookLevin Theorem,
Independent Sets,
Clique, Vertex Cover,
Hamiltonian Path Problem,
The Subset Sum Problem,
The Traveling Salesman Problem,
An Approximation Algorithm for TSP,
Space Complexity,
Relationship between Space and Time Complexity, PSPACECompleteness,
TQBF, Prove that TQBF is PSPACEComplete,
FORMULAGAME, Generalized Geography,
LOGSPACE Transducer,
Prove the Theorem: NL = coNL


