第10讲 自然数 北京大学计算机系离散数学讲义(ppt版)培训资料

- 第10讲 自然数 - 内容提要 1. Peano系统 2. 后继, 归纳集, 自然数, 自然数集 3. 数学归纳法原理 4. 传递集 5. 自然数的运算 6.