As the Blackboard site is not always available, course materials will be provided here.
Mondays & Wednesdays, 10:00 a.m. to 10:50 p.m.
To download an information sheet in pdf format click here.
The text will be G. Boolos, J. Burgess, & R. Jeffrey Computability & Logic, 5th edition. In case there are any problems getting hold of the book in a timely manner, click here and here for scans of the first two chapters.
A textbook manual including hints for odd-numbered problems and a list of textbook errata is available for downloading in pdf format by clicking here.
Problem sessions (like precepts) are scheduled for MON 1:30-2:20 a.m and 2:30-3:20 p.m., beginning the FIRST Monday of classes. Students may initially come at either hour as suits their convenience.
Please e-mail the instructor John P. Burgess by clicking here.
Last modified 08 JUL 11.