Notes 021508

# Notes 021508 - February 15, 2008 Dr McCann C Sc 245...

This preview shows pages 1–4. Sign up to view the full content.

February 15, 2008 – Dr McCann – C Sc 245 Announcements: Homework 4 due Monday Exam #1 Review: Wednesday 2/20/08 @ 7-9:00PM – GOULD SIMPSON 906 1 Exam : Friday 2/22 REVIEW:

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
5 Important definitions Conjecture Theorem Proof Lemma Definition: A simple theorem whose truth is used to construct more complex theorems: Corollary Definition: A theorem whose truth follows directly from another theorem. Why people fear proofs Proofs are creative, no set steps. Look from different perspectives Proofs are puzzles, don’t let it bother you when you have dead ends Proof Types Direct Proof END OF EXAM #1 Proof By contraposition Like direct but with a twisth Proof by contradiction A dark road on a foggy night End of exam #2 Direct proofs We’re trying to prove conjectures of the form (p q)
So, to prove p q: Assume p, show Q Proof is valid if q is shown true and p assumed Proof is sound if q is shown true and p is shown true. If P true, Q has to be True

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 04/02/2008 for the course C SC 245 taught by Professor Mccann during the Spring '08 term at University of Arizona- Tucson.

### Page1 / 4

Notes 021508 - February 15, 2008 Dr McCann C Sc 245...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online