Chapter_03-4up - Definitions N!Z!Q!R Number Theory and...

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

View Full Document Right Arrow Icon
Comp Sci 360 - Fall 2009 Number Theory and Proof Techniques John Hannan - Comp Sci 360 - Fall 2009 Definitions N ! Z ! Q ! R Even Odd Prime Composite John Hannan - Comp Sci 360 - Fall 2009 Proving Existentials " x # S. Q(x) Find some x in S Show existence is guaranteed By contradiction John Hannan - Comp Sci 360 - Fall 2009 Disproving Universals $ x # S.Q(x) $ x # S.P(x) ! Q(x) Find Counterexample
Background image of page 1

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

View Full DocumentRight Arrow Icon
John Hannan - Comp Sci 360 - Fall 2009 Proving Universals $ x # S.Q(x) $ x # S.P(x) ! Q(x) Exhaustion Contradiction Direct (Generic) Induction (later) Contrapositive John Hannan - Comp Sci 360 - Fall 2009 Examples All even numbers between 4 and 30 can be written as the sum of two primes n*(n+1) is even for all n # Z Sum of any two odd numbers is even For all n, if n is odd, n 2 is odd if n is even then (-1) n = 1 if k>0 then k 2 + 2k + 1 is composite John Hannan - Comp Sci 360 - Fall 2009 Rationals De±nition Sum, Difference, Product, Quotient Reduced Form John Hannan - Comp Sci 360 - Fall 2009 Divisibility n is divisible by d iff n=dk for some integer k d|n
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/04/2009 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Pennsylvania State University, University Park.

Page1 / 4

Chapter_03-4up - Definitions N!Z!Q!R Number Theory and...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online