Difference between revisions of "COT 3100"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
* [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== | ==Homework== | ||
| − | * [http://www. | + | * [http://www.inthewings.net/class/cot3100/hw1.pdf Homework 1] |
| − | * [http://www. | + | * [http://www.inthewings.net/class/cot3100/hw2.pdf Homework 2] |
| − | * [http://www. | + | * [http://www.inthewings.net/class/cot3100/hw3.pdf Homework 3] |
| − | * [http://www. | + | * [http://www.inthewings.net/class/cot3100/hw4.pdf Homework 4] |
Revision as of 10:05, 2 October 2007
Propositional Calculus
Here are a couple of files that contain data on propositional calculus:
