CS 486: Applied Logic
Spring 1999
Lecture Notes
Lecture 2 (PostScript file)
Lecture 5 (PostScript file)
Lecture 6 (PostScript file)
Lecture 7 (PostScript file)
Lecture 7: Slides (PostScript file)
Lecture 8 (PostScript file)
Notes of the April 6 lecture
Notes of the April 8 lecture
Notes of the April 13 lecture
Notes of the April 15/April 20 lecture
Announcements
Summary
Administration
Assignments
Spring 97
Web Links
Handouts
Selected Solutions
Reference Material
Nuprl
Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to:
joan@cs.cornell.edu