离散第3讲 归纳原理2.1.ppt

  1. 1、本文档共24页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散第3讲 归纳原理2.1

;归纳原理;回顾;举例:成形括号串;第2章 两个常用数学基本原理;内容提要;结构归纳原理 ;说明;用归纳法证明在任何成形括号串中,左括号数等于右括号数 基础(对应于S的基础条款) :如果x = [],那么L(x) = R(x) = 1 归纳(对应于S的归纳条款) :设x和y是S的元素,有 L(x) = R(x),L(y) = R(y),则: a)L([x]) = L(x)+1 = R(x)+1 = R([x]) b)L(xy) = L(x)+L(y) = R(x)+R(y) = R(xy) 故对任意x? S,有L(x) = R(x) ;还可以用归纳法证明在任何成形括号串的字头中,左括号数不少于右括号数。即对任意x ? S,x的任意字头w,都有L(w) ≥ R(w) 基础:如果x = [],显然x的字头w(= ?、[ 或 [])的左括号数不少于右括号数(对应于S的基础条款) ;归纳:设x和y是S的元素,且对x、y的任意字头w都有L(w) ≥ R(w),则: a)[x]的字头v是“?”、“[毗连x的字头”或“[x]”三种情况之一,因为x的任意字头w都有L(w)≥R(w),所以无??是哪种情况,都有L(v) ≥ R(v) b)xy的字头v是“x的字头”或“x与y的字头毗连”两种情况之一,因为对x、y的任意字头w都有L(w) ≥ R(w),所以两种情况下均有L(v) ≥ R(v) 归纳完成,命题得证 ;数学归纳原理 ;第一数学归纳法(基本模式) ;举例;第一数学归纳法的变形;举例;举例;举例;数学归纳法的有效性 ;第二数学归纳法(加强模式) ;举例;这个步骤是有疑问的,因为k2≥2k +1只是在k≥3时才成立,因而归纳基础只对n = 0进行是不充分的。因此,应对n = 0,n = 1,n = 2, n = 3分别证明(作为归纳基础)后再进行上述归纳推理才对。 ;问题出在哪儿呢?出在k的任意性在推理中被忽略。不难看出,k = 1(n = 2)时,两组直线分别只含一条直线,它们不会有公共成员。;小结

文档评论(0)

cbf96793 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档