当前位置:高等教育资讯网  >  中国高校课件下载中心  >  大学文库  >  浏览文档

南京大学:《离散数学》课程教学资源(PPT课件讲稿)Lecture 08 归纳与递归

资源类别:文库,文档格式:PPTX,文档页数:45,文件大小:2.48MB,团购合买
 归纳: 数学归纳法与强数学归纳法 运用良序公理来证明  递归: 递归定义 结构归纳法与递归算法
点击下载完整版文档(PPTX)

1 归纳与递归

归纳与递归 1

回顾 2 问题1:什么是(初等)数论? ~研究整数的性质:整除、余数、同余算术 问题2:素数有哪些性质? 素数基本定理 最大公约数 同余方程 欧拉定理/费马小定理

回顾 2 问题1:什么是(初等)数论? - 研究整数的性质:整除、余数、同余算术 问题2:素数有哪些性质? - 素数基本定理 - 最大公约数 - 同余方程 - 欧拉定理/费马小定理

本节提要 口归纳: 口数学归纳法与强数学归纳法 口运用良序公理来证明 口递归: 口递归定义 口结构归纳法与递归算法

本节提要  归纳: 数学归纳法与强数学归纳法 运用良序公理来证明  递归: 递归定义 结构归纳法与递归算法

数学归纳法 。证明目标 Un P(n) ∥n的论域为正整数集合 。证明框架 ●基础步骤:P1)为真 。归纳步骤:证明k(P(→P(k+1) ·/对任意正整数k,给出P()上P(k+1)的论证步骤. ● 因此,对任意正整数n,P(n)成立.∥即:HnP(n)

⚫ 数学归纳法

数学归纳法(有效性) 口良序公理 口正整数集合的非空子集都有一个最小元素 口数学归纳法的有效性(归谬法) 口假设nPn)不成立,则3n(P)成立. 口令S={n∈Z+|PD},S是非空子集. 口根据良序公理,S有最小元素,记为m,m≠1 口(m-1)S,即Pm-1)成立. 口根据归纳步骤,P代m成立,即mS,矛盾. ▣因此,nPD成立

 良序公理  正整数集合的非空子集都有一个最小元素  数学归纳法的有效性(归谬法)  假设nP(n)不成立,则n (P(n))成立.  令S={ n+ | P(n)},S是非空子集.  根据良序公理,S有最小元素,记为m, m1  (m-1)S, 即P(m-1)成立.  根据归纳步骤,P(m)成立,即mS,矛盾.  因此,nP(n)成立. 数学归纳法(有效性)

数学归纳法(举例) 口Hk=1+1/2+..+1/k(k为正整数) o证明:H2"≥1+n/2(n为正整数) 口基础步骤:P(1)为真,H2=1+1/2 口归纳步骤:对任意正整数k,P()→P(k+1) H2k+1=H2k+1/(2+1)+..+1/2k+1 ≥(1+k/2)+2k(1/2k+1)=1+(1+k/2 口因此,对任意正整数n,P(n成立

 Hk=1+1/2+…+1/k (k为正整数)  证明:H2 n 1+n/2 (n为正整数)  基础步骤:P(1)为真,H2=1+1/2  归纳步骤:对任意正整数k, P(k) P(k+1). H2 k+1 = H2 k +1/(2k+1)+…+1/2k+1 (1+k/2)+2k (1/2k+1) =1+(1+k)/2  因此,对任意正整数n, P(n) 成立. 数学归纳法(举例)

数学归纳法(举例) 口猜测前个奇数的求和公式,并证明之。 01=1 ▣1+3=4 ▣1+3+5=9 ▣1+3+5+7=16 口1+3+..+(2n-1)=n2(n为正整数)

 猜测前n个奇数的求和公式,并证明之。  1=1  1+3=4  1+3+5=9  1+3+5+7=16  …  1+3+…+(2n-1)=n2(n为正整数) 数学归纳法(举例)

运用数学归纳法时犯的错误 0平面上任何一组相互间不平行的直线必相交于一点. 基础步骤:P(2)为真 归纳步骤:对任意正整数k,P(上P(k+1) 前k条交于P1 。后k条交于p2: 0p1=p2

⚫ 运用数学归纳法时犯的错误

强数学归纳法 。证明目标 Un P(n) /n的论域为正整数集合 。证明框架 。基础步骤:P(1)为真 。归纳步骤:证明k(P(1)Λ.AP(k)→P(k+1) 。/对任意正整数k,给出P(1),,P()上Pk+1)的论证步骤 ● 因此,对任意正整数n,P(n)成立.∥即:nP(n)

⚫ 强数学归纳法

强数学归纳法(一般形式) 口设P(n)是与整数n有关的陈述,a和b是两个给定的 整数,且a≤b. 口如果能够证明下列陈述 口P(@,P(a+1),,P(b) 口对任意k≥b,P(@)A·AP()→P(k+1) 口则下列陈述成立 口对任意n≥,P(n):

 设P(n)是与整数n有关的陈述,a和b是两个给定的 整数,且a  b.  如果能够证明下列陈述  P(a), P(a +1), …, P(b).  对任意k  b, P(a)… P(k)→P(k+1)  则下列陈述成立  对任意n  a, P(n). 强数学归纳法(一般形式)

点击下载完整版文档(PPTX)VIP每日下载上限内不扣除下载券和下载次数;
按次数下载不扣除下载券;
24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
共45页,可试读15页,点击继续阅读 ↓↓
相关文档

关于我们|帮助中心|下载说明|相关软件|意见反馈|联系我们

Copyright © 2008-现在 cucdc.com 高等教育资讯网 版权所有