CS 486: Applied Logic | Spring 1999 |
Handouts
- Lecture1.html
- Lecture2
- Lecture3 (PostScript file)
- Lecture4
- Lecture5
- Lecture6.ps
- Lecture7.ps
- Quiz 7
- On March 30 "The Predicate Calculus with Equality" was handed out in class.
- Quiz 8 (April 15), with solutions
| Announcements | Summary | Administration | Assignments | Spring 97 |
| Web Links | Lecture Notes | Selected Solutions | Reference Material | Nuprl |
Joan Lockwood, Department of Computer Science, Cornell
University, Ithaca, NY. Mail to: joan@cs.cornell.edu