《归纳与递归》PPT课件

- 归纳与递归 - 离散数学─逻辑和证明南京大学计算机科学与技术系 - 回顾 - 证明：直接证明反证法分情形证明等价性证明存在