Content covered: 

Recursive and Recursively enumerable languages