Discrete Mathematics and its Applications

Slides:



Advertisements
Similar presentations
Mathematical Induction
Advertisements

Induction Lecture 5: Sep 21 (chapter of the book and chapter of the notes)
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and recursion
1 Inductive Proofs Rosen 6 th ed., § Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
CSE115/ENGR160 Discrete Mathematics 03/22/12 Ming-Hsuan Yang UC Merced 1.
Module #1 - Logic 1 Based on Rosen, Discrete Mathematics & Its Applications. Prepared by (c) , Michael P. Frank. Modified By Mingwu Chen Induction.
1 Section 3.3 Mathematical Induction. 2 Technique used extensively to prove results about large variety of discrete objects Can only be used to prove.
CSE115/ENGR160 Discrete Mathematics 03/29/11 Ming-Hsuan Yang UC Merced 1.
Mathematical Induction
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and recursion
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!
Lecture 3.1: Mathematical Induction CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
Induction and Recursion §4.1 Mathematical Induction §4.2 Strong Induction and Well-Ordering §4.3 Recursive Definitions and Structural Inductions §4.4 Recursive.
Discrete Mathematics Tutorial 11 Chin
Module #13: Inductive Proofs Rosen 5 th ed., § inference of a generalized conclusion from particular instances 2. mathematical demonstration of the.
Inductive Proofs. Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every natural number n, no matter.
Chap 3 –A theorem is a statement that can be shown to be true –A proof is a sequence of statements to show that a theorem is true –Axioms: statements which.
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.
1 Inductive Proofs Rosen 6 th ed., § Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every.
Module #15 – Inductive Proofs 12/6/2015(c) , Michael P. Frank1 Inductive Proofs: a brief introduction Rosen 5 th ed., §3.3 ~35 slides, ~1.5 lecture.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
Mathematical Induction
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.
2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics) 수학적 귀납법 (Mathematical Induction)
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
3.3 Mathematical Induction 1 Follow me for a walk through...
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
CSE15 Discrete Mathematics 03/22/17
COT 3100, Spring 2001 Applications of Discrete Structures
Advanced Algorithms Analysis and Design
Induction and recursion
Predicate Calculus Validity
CSE 311: Foundations of Computing
Methods of Proof A mathematical theorem is usually of the form pq
Chapter 5 Induction and Recursion
Proofs, Recursion and Analysis of Algorithms
Discrete Mathematics and its Applications
Module #10: Proof Strategies
Discrete Mathematics and its Applications
Induction and recursion
Week #6 – 30 September / 2/4 October 2002 Prof. Marie desJardins
Discrete Mathematics and its Applications
Follow me for a walk through...
Module #13: Inductive Proofs
Discrete Mathematics and its Applications
Discrete Mathematics and its Applications
Lecture 3.1: Mathematical Induction
Module #10: Proof Strategies
Follow me for a walk through...
Discrete Mathematics and its Applications
Induction Chapter
Advanced Analysis of Algorithms
Discrete Mathematics and its Applications
Discrete Mathematics and its Applications
Induction Rosen 5 Lecture 8: Oct 29, 30.
Discrete Mathematics and its Applications
Mathematical Induction
Follow me for a walk through...
Discrete Mathematics and its Applications
Agenda Proofs (Konsep Pembuktian) Direct Proofs & Counterexamples
Lecture 3.1: Mathematical Induction
Discrete Mathematics and its Applications
Presentation transcript:

Discrete Mathematics and its Applications 2019-05-14 Yonsei Univ. at Wonju Dept. of Mathematics 이산수학 Discrete Mathematics Prof. Gab-Byung Chae Slides for a Course Based on the Text Discrete Mathematics & Its Applications (5th Edition) by Kenneth H. Rosen A word about organization: Since different courses have different lengths of lecture periods, and different instructors go at different paces, rather than dividing the material up into fixed-length lectures, we will divide it up into “modules” which correspond to major topic areas and will generally take 1-3 lectures to cover. Within modules, we have smaller “topics”. Within topics are individual slides. 2019-05-14 채갑병 (c)2001-2002, Michael P. Frank

Module #13: Inductive Proofs Rosen 5th ed., §3.3 ~11 slides, ~1 lecture 2019-05-14 채갑병

§3.3: Mathematical Induction A powerful, rigorous technique for proving that a predicate P(n) is true for every natural number n, no matter how large. Essentially a “domino effect” principle. Based on a predicate-logic inference rule: P(0) n0 (P(n)P(n+1)) n0 P(n) “The First Principle of Mathematical Induction” 2019-05-14 채갑병

Validity of Induction Proof that k0 P(k) is a valid consequent: Given any k0, n0 (P(n)P(n+1)) (antecedent 2) trivially implies n0 (n<k)(P(n)P(n+1)), or (P(0)P(1))  (P(1)P(2))  …  (P(k1)P(k)). Repeatedly applying the hypothetical syllogism rule to adjacent implications k-1 times then gives P(0)P(k); which with P(0) (antecedent #1) and modus ponens gives P(k). Thus k0 P(k). 2019-05-14 채갑병

The Well-Ordering Property The validity of the inductive inference rule can also be proved using the well-ordering property, which says: Every non-empty set of non-negative integers has a minimum (smallest) element.  SN : mS : nS : mn Implies {n|P(n)} has a min. element m, but then P(m-1)P((m-1)+1) contradicted. 2019-05-14 채갑병

Proof by Contradiction 유형 1: p  F 유형 2: (p q)  F Indirect Proof p  q <==> q  p Proof by Contradiction 유형 1: p  F 유형 2: (p q)  F iff ( p  q)  F iff p  q  F where F = r  r. 2019-05-14 채갑병

iff n0 (P(n)P(n+1))   (n0 P(n)) 위의 증명에서 p  q iff n0 (P(n)P(n+1))   (n0 P(n)) Implies {n|P(n)} has a min. element m, but then P(m-1)P((m-1)+1) contradicted 2019-05-14 채갑병

Outline of an Inductive Proof Want to prove n P(n)… Base case (or basis step): Prove P(0). Inductive step: Prove n P(n)P(n+1). E.g. use a direct proof: Let nN, assume P(n). (inductive hypothesis) Under this assumption, prove P(n+1). Inductive inference rule then gives n P(n). 2019-05-14 채갑병

Generalizing Induction Discrete Mathematics and its Applications 2019-05-14 Generalizing Induction Can also be used to prove nc P(n) for a given constant cZ, where maybe c0. In this circumstance, the base case is to prove P(c) rather than P(0), and the inductive step is to prove nc (P(n)P(n+1)). Induction can also be used to prove nc P(an) for an arbitrary series {an}. Can reduce these to the form already shown. We can prove these from the form 2019-05-14 채갑병 (c)2001-2002, Michael P. Frank

Second Principle of Induction Characterized by another inference rule: P(0) n0: (0kn P(k))  P(n+1) n0: P(n) Difference with 1st principle is that the inductive step uses the fact that P(k) is true for all smaller k<n+1, not just for k=n. P is true in all previous cases 2019-05-14 채갑병

Induction Example (1st princ.) Prove that the sum of the first n odd positive integers is n2. That is, prove: Proof by induction. Base case: Let n=1. The sum of the first 1 odd positive integer is 1 which equals 12. (Cont…) P(n) 2019-05-14 채갑병

By inductive hypothesis P(n) Example cont. Inductive step: Prove n1: P(n)P(n+1). Let n1, assume P(n), and prove P(n+1). By inductive hypothesis P(n) 2019-05-14 채갑병

Another Induction Example Prove that n>0, n<2n. Let P(n)=(n<2n) Base case: P(1)=(1<21)=(1<2)=T. Inductive step: For n>0, prove P(n)P(n+1). Assuming n<2n, prove n+1 < 2n+1. Note n + 1 < 2n + 1 (by inductive hypothesis) < 2n + 2n (because 1<2=22022n-1= 2n) = 2n+1 So n + 1 < 2n+1, and we’re done. 2019-05-14 채갑병

Example of Second Principle Show that every n>1 can be written as a product p1p2…ps of some series of s prime numbers. Let P(n)=“n has that property” Base case: n=2, let s=1, p1=2. Inductive step: Let n2. Assume 2kn: P(k). Consider n+1. If prime, let s=1, p1=n+1. Else n+1=ab, where 1<an and 1<bn. Then a=p1p2…pt and b=q1q2…qu. Then n+1= p1p2…pt q1q2…qu, a product of s=t+u primes. 2019-05-14 채갑병

Another 2nd Principle Example Prove that every amount of postage of 12 cents or more can be formed using just 4-cent and 5-cent stamps. Base case: 12=3(4), 13=2(4)+1(5), 14=1(4)+2(5), 15=3(5), so 12n15, P(n). Inductive step: Let n15, assume 12kn P(k). Note 12n3n, so P(n3), so add a 4-cent stamp to get postage for n+1. 2019-05-14 채갑병