| CS 486: Applied
Logic |
Spring 2001 |
| Lecture Notes |
| Lecture 3 | Propositional Calculus | PostScript; DVI |
| Tues, Feb 13 | Finishing Definition of a Tableau | PostScript; DVI |
| Thurs, Feb 15 | Consistency | PostScript; DVI |
| Tues, Feb 20 | Hintikka | PostScript; DVI |
| Thurs, Apr 5 | Refinement Logic | PostScript |
| Thurs, Apr 17 | Formalization | PostScript; DVI |
| Thurs, Apr 19 | PA Axioms | PostScript; DVI |
| Tues, Apr 24 | Lambda-PRL | PostScript |
| Thurs, May 3 | Semantics of Evidence | The Semantics of Evidence, by Robert L. Constable. |
| HOME |
| Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mailto:juanita@cs.cornell.edu |