Difference between revisions of "COT 3100"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
* [http://www.inthewings.net/class/cot3100/ds.1.1.pdf Logic and Proofs 1] | * [http://www.inthewings.net/class/cot3100/ds.1.1.pdf Logic and Proofs 1] | ||
* [http://www.inthewings.net/class/cot3100/ds.1.2.pdf Logic and Proofs 2] | * [http://www.inthewings.net/class/cot3100/ds.1.2.pdf Logic and Proofs 2] | ||
| + | ==Homework== | ||
| + | * [http://www.cise.ufl.edu/class/cot3100fa07/hw1.pdf Homework 1] | ||
Revision as of 12:31, 31 August 2007
Propositional Calculus
Here are a couple of files that contain data on propositional calculus:
