CSE 725 - Computability and Unsolvability
Thought provoking links:http://rjlipton.wordpress.com/2010/01/20/are-the-reals-really-uncountable/
Introduction to the Theory of Computation, second edition. M. Sipser.
By instructor: MW 2:30-3:30pm in DL 495 or by appointment.
By grader (Ping Lai): Th 2:30-3:30pm in DL 774.
PS1 (due lecture on January 27th).
PS2 (due lecture on February 24th).
PS3 (due lecture on March 10th).
As scheduled by OSU, Wed, March 17, 1:30 PM - 3:18 PM
Topics by lecture (tentative):