标签: 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 数学归纳法
• 归纳证明
• 基础步
• 归纳步
• 归纳假设
• 良序性
• 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 归纳与递归
• 强归纳
• 良序性
• 完全归纳
• 数学证明
• 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 归纳与递归
• 递归定义
• 结构归纳
• 斐波那契数列
• 二叉树
• 合式公式
• 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 递归算法
• 归并排序
• 数学归纳法
• 算法正确性
• 递推关系
• 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 程序正确性
• Hoare三元组
• 循环不变量
• 部分正确性
• 程序验证
• 学习/离散数学/归纳与递归

2026年4月20日

• 离散数学
• 归纳与递归
• 章节汇总
• 学习/离散数学/归纳与递归