Computability and Complexity, Math 352, Fall 2012