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 @ 79: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.
 Spring '08
 McCann

Click to edit the document details