John R. Steel: Courses
Math 136: Incompleteness and Undecidability
Spring 2018, TTh 11:0012:30, 241 Cory
Instructor: John R. Steel, 717 Evans,
Office Hours: To be announced.
Email address: coremodel@berkeley.edu
Available documents:

Course announcement. pdf
 Homework 1, due Jan. 25.pdf
 Homework 2, due Feb. 1 at lecture, or Feb. 2 before 4pm at 937 Evans.pdf
 GSI office hours: Benjamin Siskind, 937 Evans,
Mon., Thurs., 2:003:30.
 Homework 3, due Feb. 8 at lecture, or Feb. 9 before 4pm at
937 Evans. pdf
 Homework 4, due Feb. 15 at lecture or Feb. 16 before 4pm
at 937 Evans. pdf
 First mideterm study guide
pdf
 Homework 5, due Feb. 22 at lecture or Feb. 23 before 4pm
at 937 Evans. pdf
 Homework 6, due March 1 or March 2.pdf
 Homework 7, due March 8 or March 9.pdf
 Homework 8, due March 15 or 16.pdf
 Homework 9, due March 22 or 23.pdf
 Bonus problem 6.pdf
 Homework 10, due April 12 or 13.pdf
 Second midterm to be held April 12. Study guide to come.
 Second midterm study guide
pdf
 Homework 11, due April 19 or 20.pdf
 Homework 12, due Tuesday, May 1.pdf
 Optional special homework.pdf
 Study guide for final.pdf
 Final exam time and place: Thursday May 10, 811am, 241 Cory Hall.
Last modified: Feb 20 08:38:03 PST
2010