Announcements

Assignments

Handouts

Nuprl

Lecture Notes

References

Selected Solutions

Spr 97, Spr 99

Summary

Web Links

	Instructors
	Professor Robert L. Constable, 4147 Upson Hall, rc@cs.cornell.edu Office Hours: Tues after class; or by appointment.     and Dr. Christoph Kreitz, 4159 Upson Hall, kreitz@cs.cornell.edu Office Hours: Mon 2:00-3:00 pm; or anytime his door is open.
	Teaching Assistants
	Alexei Kopylov, 4139 Upson Hall, kopylov@cs.cornell.edu Office Hours: Mon and Wed, 3:00-4:00 pm; or stop by anytime if he's in.
	Administrative Assistant
	Juanita Heyerman, 4147 Upson Hall, juanita@cs.cornell.edu
	Time and Location
	Tuesday and Thursday, 10:10-11:25 am, 211 Upson Hall
	Pre-requisites
	CS 280 (hence 211); solid mathematics; preferably an algebra course (know about rings, polynomials); knowledge of functional programming (preferably Scheme, Lisp, or ML).
	Work Load
	10 homework assignments (± 2), possibly some using the Nuprl system; quizzes; Prelim; Final exam; small project, using computer system or library research.
	Grading
	See CS486 Spring '99, "Grading."
	Textbooks and Course Material
	First Order Logic, by Raymond M. Smullyan
	Foundations of Mathematics, by Ian Stewart and David Tall
	Recommended, not required: Axiomatic Set Theory, by Patrick Suppes.