归纳： 数学归纳法与强数学归纳法 运用良序公理来证明 递归： 递归定义 结构归纳法与递归算法
文件格式: PPTX大小: 2.48MB页数: 45
问题1：什么是集合的基数？ 问题2：(基数)最大的集合有多大？ 问题3：如何比较两个(无限)集合的大小？
文件格式: PPTX大小: 2.84MB页数: 31
问题1：什么是关系？如何表示关系？如何进行关系运算？ 问题2：什么是函数？什么是单射、满射函数？如何进行函数运算？
文件格式: PPTX大小: 590.45KB页数: 42
问题1：什么是集合？ 问题2：集合的基本概念有哪些？ 问题3：如何进行集合运算与集合公式证明？
文件格式: PPTX大小: 3.18MB页数: 44
问题1：什么叫证明？ 问题2：常见的证明方法有哪些？ 问题3：什么是猜想？有哪些有意思的猜想？
文件格式: PPTX大小: 13.31MB页数: 34
问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？
文件格式: PPTX大小: 718.94KB页数: 40
问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？
文件格式: PPTX大小: 450.48KB页数: 41
Introduction Definition Induced Norm–Matrix p-Norms One Norm Infinity Norm Norm of a Product Two Norm Frobenius Norm Norm of a Submatrix Exercises Comprehensive Problems
文件格式: PDF大小: 607.84KB页数: 145