浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 推理与证明方法(3.2)数学归纳方法

数学归纳方法 3数学推理 Mathematical Reasoning 3.1推理与证明方法 32数学归纳方法 Mathematical induction 33递推方法 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 1 3 数学推理 Mathematical Reasoning 3.1 推理与证明方法 3.2 数学归纳方法 Mathematical Induction 3.3 递推方法

Definition 1 数学归纳方法 数学归纳法的公式表示: IP(1)∧Vm(m≥1∧P(m)→P(m+1)→VnP(an) 1、归纳基础:P(1) 2、归纳步骤:Vm(m≥1∧P(m)→P(m+1) 2/24/202111:37PM Deren Chen Zhejiang univ 2
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 2 数学归纳法的公式表示: [P(1) ∧ m(m 1 ∧ P(m) → P(m+1))] → n P(n) 1、归纳基础:P(1) 2、归纳步骤: m (m 1 ∧ P(m) → P(m+1)) Definition 1

皮亚诺公理 数学归纳方法 (1)0∈N; (2)对每一个n∈N,唯一定义了一个自然数n',n'称为n的后邻; (3)不同的自然数,其后邻也不同 (4)没有一个自然数的后邻是0 (5)如果有一个子集MN满足: ①0∈M;②n∈M时必n∈M,则M=N 自然数全体N通过皮亚诺公理的五条公理组成。 这些公理缺一不可,其中性质(5)称为归纳公理,并指出了自然数 是满足公理(1)~(4)的最小集合。 2/24/202111:37PM Deren Chen Zhejiang univ 3
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 3 皮亚诺公理 (1)0∈N; (2)对每一个n∈N,唯一定义了一个自然数n',n'称为n的后邻; (3)不同的自然数,其后邻也不同; (4)没有一个自然数的后邻是0; (5)如果有一个子集MN满足: ① 0∈M;② n∈M时必n'∈ M, 则M = N 自然数全体N通过皮亚诺公理的五条公理组成。 这些公理缺一不可,其中性质(5)称为归纳公理,并指出了自然数 是满足公理(1)~(4)的最小集合

Definition 2 数学归纳方法 数学归纳法的一般公式表示 IP(k)∧m(m≥k∧P(m)→P(m+1)→VnP(n) 1、归纳基础:P(k 2、归纳步骤:Vm(m≥k∧P(m)→P(m+1)) 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 4 数学归纳法的一般公式表示: [P(k) ∧ m(m k ∧ P(m) → P(m+1))] → n P(n) 1、归纳基础:P(k) 2、归纳步骤: m (m k ∧ P(m) → P(m+1)) Definition 2

EXAMPLE1 数学归纳方法 pp 191 example 5 1+2+22+,+2n=2n+1-1 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 5 EXAMPLE 1 pp.191 example 5 1 + 2 + 2 2 +… + 2 n = 2 n+1 - 1

Definition 3 数学归纳方法 第二数学归纳法: IP(n0)∧Vk(k>n0∧P(m0)∧P(n0+1)∧…∧P(k) →P(k+1)→ynP(m) 1、归纳基础:P(n) 2、归纳步骤:Vk(k>n∧P(mo)∧P(n0+1) ∧…∧P(k)→P(k+1) 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 6 第二数学归纳法: [P(n0 ) ∧ k ( k > n0 ∧ P(n0 ) ∧ P(n0+1) ∧ … ∧ P(k) → P(k+1)) ]→ n P(n) 1、归纳基础:P(n0 ) 2、归纳步骤: k ( k > n0 ∧ P(n0 ) ∧ P(n0+1) ∧ … ∧ P(k) → P(k+1)) Definition 3

EXAMPLE2 数学归纳方法 证明:任意一个大于1的自然数或为质数,或 能表示为若干个质数的乘积。 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 7 EXAMPLE 2 证明:任意一个大于1 的自然数或为质数,或 能表示为若干个质数的乘积

Definition 4 数学归纳方法 有限数学归纳法:对于m≤n≤n1的P(m) 有限数学归纳法的前推公式表示: P(n0)∧yn(m0≤n≤n1-1∧P(n)→P(n+1)→ yn(n≤n≤nk→P(n) 1、归纳基础:P(m) 2、归纳步骤:Vn(n0≤n≤n-1∧P(m)→P(n+1) 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 8 有限数学归纳法:对于n0 n nk 的 P(n) 有限数学归纳法的前推公式表示: [P(n0 ) ∧ n(n0 n nk -1 ∧ P(n)) → P(n+1))] → n (n0 n nk → P(n)) 1、归纳基础:P(n0 ) 2、归纳步骤: n(n0 n nk -1 ∧ P(n)) → P(n+1))] Definition 4

EXAMPLE 3 数学归纳方法 pp 195 Example 11 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 9 EXAMPLE 3 pp. 195 Example 11

Definition 5 数学归纳方法 有限数学归纳法:对于m≤n≤n1的P(m) 有限数学归纳法的后推公式表示: P(n1)∧vn(m0+1≤n≤nk∧P(m)→P(n-1)→ yn(n≤n≤nk→P(n) 1、归纳基础:P(nk) 2、归纳步骤:Vm(n0+1≤n≤nk∧P(n)→P(n-1) 2/24/202111:37PM Deren Chen Zhejiang univ
数学归纳方法 2/24/2021 11:37 PM Deren Chen, Zhejiang Univ. 10 有限数学归纳法:对于n0 n nk 的 P(n) 有限数学归纳法的后推公式表示: [P(nk ) ∧ n(n0 +1 n nk ∧ P(n)) → P(n-1))] → n (n0 n nk → P(n)) 1、归纳基础:P(nk ) 2、归纳步骤: n(n0 +1 n nk ∧ P(n)) → P(n-1)) Definition 5
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 推理与证明方法(3.1)证明方法.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 算法(2.4)矩阵.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 算法(2.2)数论.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 算法(2.1)算法.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.4-1.5)集合.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.3)谓词与量词 Predicates and Quantifiers.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.2.2)函数.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.1)集合.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.2)命题演算 Propositional Equivalences.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.3)谓词与量词 Predicates and Quantifiers.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.2)命题演算 Propositional Equivalences.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.1)命题逻辑.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1)逻辑.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)引言(陈德人).ppt
- 《运筹学》讲义 第三部分 图与网络分析.doc
- 《运筹学》讲义 第二部分 动态规划(Dymamic Programming).doc
- 《运筹学》讲义 第一部分 线性规划内容框架.doc
- 《数学分析》课程教学资源(教材书籍)第二分册PDF电子书(主编:卓里奇,第六章 积分、第七章 多变量函数和它的极限与连续性、第八章 多变量函数微分学).pdf
- 《数学分析》课程教学资源(教材书籍)第一分册PDF电子书(共五章,1-5章,主编:卓里奇).pdf
- 山东大学:大学数学教程《复变函数与积分变换》课程教学资源(知识点解题)第二章 解析函数(2.3)初等函数(二).ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 二元关系.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 计数原理(4.1-4.2-4.3).ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 计数原理(4.4)排列与组合.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 计数原理(4.5)排列与组合的生成.ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第五章 关系(5.1)关系及其性质(1/2).ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第五章 关系(5.1)关系及其性质(2/2).ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第七章 图论(1/2).ppt
- 浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第七章 图论(2/2).ppt
- 《Mathematica,DeMYSTiFieD》Hoste Mathematica,demystified.pdf
- 《高等数学习题解答》(上册)习题答案.pdf
- 《高等数学习题解答》(下册)习题答案.pdf
- 浙江大学《概率论与数理统计习题全解指南》PDF电子书(共十四章).pdf
- 考研数学讲义:《高等数学复习》学习教程(共十讲).doc
- 武汉大学:《实变函数》课程教学资源(讲义)第一章 集与集类Rn中的点集(1.3)集类.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)第一章 集与集类Rn中的点集(1.4)Rn中的点集.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)习题三.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)第四章 积分 §4.1 积分的定义.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)第五章 微分与不定积分(5.3)绝对连续函数与不定积分.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)习题五.pdf
- 武汉大学:《实变函数》课程教学资源(讲义)习题一.pdf