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

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

View Full Document Right Arrow Icon
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:
Background image of page 1

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

View Full DocumentRight Arrow Icon
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)
Background image of page 2
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
Background image of page 3

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

View Full DocumentRight Arrow Icon
Image of page 4
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 Right Arrow Icon
Ask a homework question - tutors are online