CSE 311 Foundations of Computing I

Slides:



Advertisements
Similar presentations
MA/CSSE 473/474 How (not) to do an induction proof.
Advertisements

CSE 311 Foundations of Computing I Lecture 13 Number Theory Autumn 2012 CSE
Induction and recursion
1.  The set N = {1,2,3,4,……..} is known as natural numbers or the set of positive integers  The natural numbers are used mainly for :  counting  ordering.
1 Intro to Induction Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
CSE 321 Discrete Structures Winter 2008 Lecture 12 Induction.
TR1413: INTRO TO DISCRETE MATHEMATICS LECTURE 2: MATHEMATICAL INDUCTION.
CSE115/ENGR160 Discrete Mathematics 03/22/12 Ming-Hsuan Yang UC Merced 1.
1 Strong Mathematical Induction. Principle of Strong Mathematical Induction Let P(n) be a predicate defined for integers n; a and b be fixed integers.
Mathematical Maxims and Minims, 1988
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
CSE 311 Foundations of Computing I Lecture 15 Recursive Definitions and Structural Induction Autumn 2011 CSE 3111.
CSE 311 Foundations of Computing I Lecture 16 Recursively Defined Sets and Structural Induction Spring
CSE 311 Foundations of Computing I Lecture 17 Structural Induction Spring
Chapter Mathematical Induction 4.2 Strong Induction and Well-Ordering 4.3 Recursive Definitions and Structural Induction 4.4 Recursive Algorithms.
Section 3.3: Mathematical Induction Mathematical induction is a proof technique that can be used to prove theorems of the form:  n  Z +,P(n) We have.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
CSE 311 Foundations of Computing I Lecture 9 Proofs and Set Theory Autumn 2012 CSE
CSE 311 Foundations of Computing I Lecture 14 Euclid’s Algorithm Mathematical Induction Autumn 2012 CSE
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
October 3, 2001CSE 373, Autumn Mathematical Background Exponents X A X B = X A+B X A / X B = X A-B (X A ) B = X AB X N +X N = 2X N 2 N +2 N = 2 N+1.
Mathematical Induction
CSE 311: Foundations of Computing Fall 2013 Lecture 8: Proofs and Set theory.
CS Discrete Mathematical Structures Mehdi Ghayoumi MSB rm 132 Ofc hr: Thur, 9:30-11:30a.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
Jessie Zhao Course page: 1.
CSE 311 Foundations of Computing I Lecture 8 Proofs Autumn 2011 CSE 3111.
CSE 311 Foundations of Computing I Lecture 8 Proofs Autumn 2012 CSE
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Mathematical Induction
Induction and Recursion CSC-2259 Discrete Structures Konstantin Busch - LSU1.
CSE 311 Foundations of Computing I Lecture 15 Strong Induction and Recursive Definitions Spring
Mathematical Induction EECS 203: Discrete Mathematics Lecture 11 Spring
Foundations of Computing I CSE 311 Fall Announcements Homework #2 due today – Solutions available (paper format) in front – HW #3 will be posted.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
1 Mathematical Induction. 2 What is induction? A method of proof It does not generate answers: it only can prove them Three parts: Base case(s): show.
CSE 311 Foundations of Computing I
Advanced Algorithms Analysis and Design
CSE 311 Foundations of Computing I
CS2210:0001Discrete Structures Induction and Recursion
CSE 311 Foundations of Computing I
CSE 311 Foundations of Computing I
CSE 311: Foundations of Computing
CSE 311 Foundations of Computing I
Methods of Proof A mathematical theorem is usually of the form pq
Chapter 5 Induction and Recursion
CSE 311: Foundations of Computing
CSE 311 Foundations of Computing I
BaSIC Math Reviews.
Induction and recursion
CSE 311 Foundations of Computing I
CSE 311 Foundations of Computing I
CSE 311: Foundations of Computing
Exercise Use mathematical induction to prove the following formula.
CSE 311: Foundations of Computing
Follow me for a walk through...
CSE 321 Discrete Structures
CSE 321 Discrete Structures
Direct Proof and Counterexample I
Follow me for a walk through...
Induction Chapter
Advanced Analysis of Algorithms
Miniconference on the Mathematics of Computation
Mathematical Induction
Follow me for a walk through...
CSE 321 Discrete Structures
CSE 321 Discrete Structures
CSE 311 Foundations of Computing I
Useful GCD Fact If a and b are positive integers, then gcd(a,b) = gcd(b, a mod b) Proof: By definition of mod, a = qb+ (a mod b) for.
CSE 311 Foundations of Computing I
Presentation transcript:

CSE 311 Foundations of Computing I Lecture 15 Induction Autumn 2012 Autumn 2012 CSE 311

Announcements Reading assignments Midterm next Friday, Nov 2 Today: 5.2, 5.3 7th Edition 4.2, 4.3 6th Edition 3.3, 3.4 5th Edition Monday: 5.3 (7th), 4.3 (6th), 3.4 (5th) Midterm next Friday, Nov 2 Closed book, closed notes Practice midterm questions available on the Web Extra office hours Thursday (midterm review) 3:30 pm, Dan Suciu, Gowen 201 4:30 pm, Richard Anderson, Gowen 201 Autumn 2012 CSE 311

Highlights from last lecture Shift cipher F(x) = (x + c) mod 26; F-1(x) = (x – c) mod 26 Multiplicative cipher Suppose ab ≡ 1 (mod 26) (i.e, ab mod 26 = 1) F(x) = ax mod 26; F-1(x) = bx mod 26 Composite cipher F(x) = (ax + c) mod 26; F-1(x) = (bx – bc) mod 26 Examples F(x) = (x + 5) mod 26; F-1(x) = (x – 5) mod 26 G(x) = 7x mod 26; G-1(x) = 15x mod 26 H(x) = (7x + 5) mod 26; H-1(x) = (15x + 3) mod 26 Autumn 2012 CSE 311

Induction Example Prove 3 | 22n -1 for all n  0 n=0 n=1 n=2 n=3 ... Autumn 2012 CSE 311

Induction as a rule of Inference Domain: integers ≥ 0 P(0)  k (P(k)  P(k+1))   n P(n) Autumn 2012 CSE 311

How would we use the induction rule in a formal proof?  k (P(k)  P(k+1))   n P(n) 1. Prove P(0) Let k be an arbitrary integer ≥ 0 3. Assume that P(k) is true 4. ... 5. Prove P(k+1) is true P(k)  P(k+1) Direct Proof Rule 7.  k (P(k)  P(k+1)) Intro  from 2-6 8.  n P(n) Induction Rule 1&7 Autumn 2012 CSE 311

How would we use the induction rule in a formal proof?  k (P(k)  P(k+1))   n P(n) Base Case 1. Prove P(0) Let k be an arbitrary integer ≥ 0 3. Assume that P(k) is true 4. ... 5. Prove P(k+1) is true P(k)  P(k+1) Direct Proof Rule 7.  k (P(k)  P(k+1)) Intro  from 2-6 8.  n P(n) Induction Rule 1&7 Inductive Hypothesis Inductive Step Conclusion Autumn 2012 CSE 311

5 Steps to Inductive Proofs in English Proof: 1. “By induction we will show that P(n) is true for every n≥0” 2. “Base Case:” Prove P(0) 3. “Inductive Hypothesis: Assume that P(k) is true for some arbitrary integer k ≥ 0” 4. “Inductive Step:” Want to prove that P(k+1) is true: Use the goal to figure out what you need. Make sure you are using I.H. and point out where you are using it. (Don’t assume P(k+1)!) 5. “Conclusion: Result follows by induction” Autumn 2012 CSE 311

Induction Example Prove 3 | 22n -1 for all n  0 Autumn 2012 CSE 311

1 + 2 + 4 + … + 2n = 2n+1 – 1 for all n ≥ 0 Autumn 2012 CSE 311

1+2+...+n =  i = n(n+1)/2 for all n≥1 Autumn 2012 CSE 311

Harmonic Numbers for all 𝑛 ≥ 1 Autumn 2012 CSE 311

Cute Application: Checkerboard Tiling with Trinominos Prove that a 2n  2n checkerboard with one square removed can be tiled with: Autumn 2012 CSE 311

Strong Induction P(0)  k ((P(0)  P(1)  P(2)  …  P(k))  P(k+1))   n P(n) Follows from ordinary induction applied to Q(n) = P(0)  P(1)  P(2)  …  P(n) Autumn 2012 CSE 311

Strong Induction English Proofs By induction we will show that P(n) is true for every n≥0 Base Case: Prove P(0) Inductive Hypothesis: Assume that for some arbitrary integer k ≥ 0, P(j) is true for every j from 0 to k Inductive Step: Prove that P(k+1) is true using Inductive Hypothesis that P(j) is true for all values  k Conclusion: Result follows by induction Autumn 2012 CSE 311

Every integer ≥ 2 is the product of primes Autumn 2012 CSE 311