Mod-01 Lec-42 Separation of recursive and r.e. classes, halting problem and its undecidability.
Channel: nptelhrd
Date: 2014-06-27

Theory of Computation  by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in