Difference between revisions of "COT 3100"
Jump to navigation
Jump to search
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
==Propositional Calculus== | ==Propositional Calculus== | ||
Here are a couple of files that contain data on propositional calculus: | Here are a couple of files that contain data on propositional calculus: | ||
| + | * [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] | ||
| + | ==Proofs== | ||
| + | * [http://www.inthewings.net/class/cot3100/x3ex.pdf Non-Constructive Proof of Existence] | ||
| + | ==Homework== | ||
| + | * [http://www.inthewings.net/class/cot3100/hw1.pdf Homework 1] | ||
| + | * [http://www.inthewings.net/class/cot3100/hw2.pdf Homework 2] | ||
| + | * [http://www.inthewings.net/class/cot3100/hw3.pdf Homework 3] | ||
| + | * [http://www.inthewings.net/class/cot3100/hw4.pdf Homework 4] | ||
Latest revision as of 10:07, 2 October 2007
Propositional Calculus
Here are a couple of files that contain data on propositional calculus:
