Theory of Computation: Lecture 12

Theory of Computation: Lecture 12. The main topics covered in this lesson include: post correspondence problem; PCP is undecidable; computable functions and examples of computable functions; reducibility;...