NPTEL Video Course : Topics in Theoritical Computer Science

Lecture 2 - TMs, Halting Problems