(Mathematical Induction)

Slides:



Advertisements
Similar presentations
2012 년 봄학기 강원대학교 컴퓨터과학전공 문양세 이산수학 (Discrete Mathematics)  중첩된 한정기호 (Nested Quantifiers)
Advertisements

숫자 ② 식당이 어디에 있어요? 식당이 4(사)층에 있어요. Sogang Korean 1A UNIT 1 “숫자②”
A: Could you tell me how to make a call from this phone
이산수학(Discrete Mathematics)
C++ Tutorial 1 서강대학교 데이터베이스 연구실.
Compiler Lecture Note, Inroduction to FL theory
Sources of the Magnetic Field
이산수학(Discrete Mathematics)  정수와 나눗셈 (The Integers and Division)
이산수학(Discrete Mathematics)  정수와 나눗셈 (The Integers and Division)
6.9 Redundant Structures and the Unit Load Method
귀납과 재귀 (Induction and Recursion)
이산수학 논리∙명제에서 알고리즘까지 √ 원리를 알면 IT가 맛있다 ehanbit.net.
변화관리의 출발.
Thevenin’s Theorem 단위 DC 회로 V0 Rout (Output 저항) Vout (Output 신호,
알고리즘(Algorithm)  알고리즘 개요 (효율, 분석, 차수) Part 1 강원대학교 컴퓨터과학전공 문양세.
7장 : 캐시와 메모리.
-으세요 ② 아버지가 테니스를 좋아하세요? 네, 테니스를 좋아하세요. Sogang Korean 1B UNIT 3 “–으세요②”
발표제목 발표제목 둘째 줄 2000년 11월 송 홍 엽 연세대학교 전기전자공학과 송 홍 엽
증명 수학적 귀납법 직접 증명법 간접 증명법 재귀법 프로그램 검증.
이산수학(Discrete Mathematics) 수학적 귀납법 (Mathematical Induction)
Mathematics Review for Algorithm
쉽게 배우는 알고리즘 9장. 그래프 알고리즘.
Data structures 02.2:mathematical induction 동의대학교 멀티미디어공학과 이광의 교수.
Realistic Projectile Motion
재귀 혹은 귀납 Recursive or Inductive Definition 집합을 정의하는 방법
제 14 장 거시경제학의 개관 PowerPoint® Slides by Can Erbil
Chapter 2. Finite Automata Exercises
숭실대학교 마이닝연구실 김완섭 2009년 2월 8일 아이디어  - 상관분석에 대한 연구
이산수학(Discrete Mathematics)  증명 방법 (Methods of Proof)
이산수학(Discrete Mathematics)  증명 방법 (Methods of Proof)
Mathematics Review for Algorithm
계수와 응용 (Counting and Its Applications)
이산수학(Discrete Mathematics)
PCA Lecture 9 주성분 분석 (PCA)
1.4 중첩된 한정기호 (Nested Quantifiers) 이산수학 (Discrete Mathematics)
거시경제학 강의 – Week 8 금융시장, 국제적 자본이동.
이산수학(Discrete Mathematics)  증명 방법 (Methods of Proof)
이산수학(Discrete Mathematics)  증명 전략 (Proof Strategy)
(Relations and Its Properties)
제 4 장. Regular Language의 특성
-아/어지다 잘못 세탁해서 옷이 작아졌어요. Sogang Korean 2B UNIT 5 “-아/어지다”
Mathematical Description of Continuous-Time Signals
Introduction to Programming Language
알고리즘(Algorithm)  알고리즘 개요 (효율, 분석, 차수) Part 년 봄학기
이산수학(Discrete Mathematics)
이산수학(Discrete Mathematics)  증명 방법 (Methods of Proof)
이산수학 (Discrete Mathematics)
이산수학(Discrete Mathematics)  명제의 동치 (Propositional Equivalence)
4.1 계수의 기본 원리 (Basics of Counting)
6.1 점화 관계 (Recurrence Relations)
이산수학 (Discrete Mathematics)
이산수학(Discrete Mathematics) 비둘기 집 원리 (The Pigeonhole Principle)
이산수학(Discrete Mathematics)
Internet Computing KUT Youn-Hee Han
이산수학(Discrete Mathematics)  집합 연산 (Set Operations)
7. Quicksort.
점화와 응용 (Recurrence and Its Applications)
자동제어공학 4. 과도 응답 정 우 용.
2.7 행렬 (Matrices] 이산수학 (Discrete Mathematics) Matrix Reloaded
이산수학(Discrete Mathematics)
The general form of 0-1 programming problem based on DNA computing
이산수학(Discrete Mathematics)  증명 전략 (Proof Strategy)
이산수학(Discrete Mathematics) 수열과 합 (Sequences and Summations)
(Predicates and Quantifiers)
이산수학(Discrete Mathematics)  술어와 한정기호 (Predicates and Quantifiers)
Chapter 1. 이산수학의 개요.
Speaking -첫 번째 강의 ( Part 1 유형별분석) RACHEL 선생님
(Permutations and Combinations)
알고리즘의 분석(analysis) 공간적 효율성(Space Efficiency)과 시간적 효율성(Time Efficiency)
Sawasdee ka.
Presentation transcript:

(Mathematical Induction) 이산수학 (Discrete Mathematics) 3.3 수학적 귀납법 (Mathematical Induction) 2006년 봄학기 문양세 강원대학교 컴퓨터과학과

Introduction 3.3 Mathematical Induction A powerful technique for proving that a predicate P(n) is true for every natural number n, no matter how large. (모든 자연수 n에 대해서 P(n)이 true임을 보일 수 있는 매우 유용한 방법임) 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) P(0)가 true이고, P(n)이 true라 가정했을 때 P(n+1)이 true이면, 모든 n에 대해 P(n)이 true이다.

Intuitively, we can prove that induction is correct. Validity of Induction 3.3 Mathematical Induction Intuitively, we can prove that induction is correct. P(1) = T since (P(0) = T)  (P(0)P(1) = T) P(2) = T since (P(1) = T)  (P(1)P(2) = T) P(3) = T since (P(2) = T)  (P(2)P(3) = T) … P(n) = T since (P(n-1) = T)  (P(n-1)P(n) = T)

Outline of an Inductive Proof 3.3 Mathematical Induction Want to prove n P(n)… E.g. use a direct proof: Induction basis (or base case): Prove P(0). (기본 단계) Induction step: Prove n P(n)P(n+1). (귀납적 단계) Let nN, assume P(n). (induction hypothesis) Under this assumption, prove P(n+1). Inductive inference rule then gives n P(n). Can also be used to prove nc P(n) for a given constant cZ, where maybe c0. (Base로 0이 아닌 상수 c를 사용할 수 있다.) 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)).

By induction hypothesis P(n) Induction Examples (1/4) 3.3 Mathematical Induction Prove that the sum of the first n odd positive integers is n2. That is, prove: (처음 n개 홀수의 합은 n2와 동일하다.) Proof by Induction Induction basis: Let n=1. Since 1 = 12, P(1) is true. Induction step: Let n1, assume P(n), and prove P(n+1). P(n) By induction hypothesis P(n)

Induction Examples (2/4) 3.3 Mathematical Induction Prove that n>0, n<2n. Let P(n)=(n<2n) : Induction basis: P(1) = (1 < 21) = (1 < 2) = T. Induction 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.

Induction Examples (3/4) 3.3 Mathematical Induction Prove that the sum of the first n positive integers is n(n+1)/2. Let P(n) = Induction basis: Let P(1) = Induction step: Let n1, assume P(n), and prove P(n+1).

Induction Examples (4/4) 3.3 Mathematical Induction Prove when n2. Induction basis: n = 2, Induction step: Assume P(n), and prove P(n+1).

Second Principle of Induction (강 귀납법) 3.3 Mathematical 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. (Induction step에서 k=n인 경우 대신에, k<n+1인 모든 k에 대해 P(k)가 true라 가정한다.) P(0)가 true이고, P(0),…,P(n)이 모두 true라 가정했을 때 P(n+1)이 true이면, 모든 n에 대해 P(n)이 true이다.

Examples of Second Principle (1/2) 3.3 Mathematical Induction 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” (모든 양의 정수는 소수의 곱으로 나타낼 수 있다.) Induction basis: n=2, let s=1, p1=2. Thus, P(2) = T. Induction step: Let n2. Assume  2kn: P(k). Consider n+1. If prime, let s=1, p1=n+1. Done. 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.

Examples of Second Principle (2/2) 3.3 Mathematical Induction Prove that every amount of postage of 12 cents or more can be formed using just 4-cent and 5-cent stamps.” (12센트 이상의 우표는 4센트 혹은 5센트 우표만을 사용하여 구성할 수 있다.) Induction basis: 12=3(4), 13=2(4)+1(5), 14=1(4)+2(5), 15=3(5), so 12n15, P(n). Induction step: Let n15, assume 12kn P(k). Stamps for (n+1) cents = stamps for (n3) cents + 4-cent stamp Stamps for (n+1) cents = some 4-cent or 5-cent stamps + 4-cent stamp By Induction Hypothesis