第四章无限集.pptVIP

第四章无限集;前言：数学归纳法;1自然数的有序性、最小性;（1）自然数的有序性;（2）自然数的最小性;2数学归纳法;（1）第一数学归纳法;（2）第二数学归纳法;(3)数学归纳法的合理性;4.1集合的递归定义与自然数集合;;4.1集合的递归定义与自然数集合;;3集合递归（归纳）定义的实例;;4字符串及字符串集合的定义;（1）定义字符串集合Σ+;（2）定义字符串集合Σ*;;5用归纳定义的方法来描述算术表达式集合;4.1集合的递归定义与自然数集合;;2自然数集的元素;用记号:=给这些集合命名;;3自然数n的性质;4关于自然数的贝安诺(Peano)公理;;;;;;;;;;;;4.2基数;4.2基数;4.2基数;4.2基数;;4.2基数;4.2基数;4.2基数;4.2基数;4.2基数;;4.2基数;;;;4.3可列集与不可列集;4.3可列集与不可列集;;4.3可列集与不可列集;;;4.3可列集与不可列集;;;;;;;;;;;;;;;;;4.4基数的比较;4.4基数的比较;;4.4基数的比较;4.4基数的比较;;;;;递归;一、递归算法;计算n的阶乘;计算n的阶乘的算法;n阶乘算法的正确性证明;;二、递归关系;;;解递归关系;迭代法;迭代