CS 486: Applied Logic
Spring 2001
Handouts
Please note:
Students should expect a quiz EVERY Thursday.
Lecture 1 Handout
(Jan 23)
Quiz 1 (Feb 1) -
HTML
;
PostScript
;
Word
Quiz 1 Solutions -
HTML
;
PostScript
;
Word
Quiz 5 (Mar 8) -
HTML
;
PostScript
;
Word
2nd Order Logic Handout -
PDF
;
PostScript
;
LaTex
Stamps Proof (May 1) -
PostScript
;
Word
HOME
Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to:
juanita@cs.cornell.edu
