CSE 725 - Computability and Unsolvability
Thought provoking links:
Introduction to the Theory of Computation, second edition. M. Sipser.
By instructor: W 2:00-3:00pm in DL 495 or by appointment.
By grader, Yanzhang(Ryan) He: Tu 4-5pm in CSE 574.
PS1 (due lecture on April 28th).
PS2 (due lecture on May 19th).
PS3 (due lecture on June 2nd).
Topics by lecture (tentative):