南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性
文件格式: PPTX大小: 1.57MB页数: 23
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）什么样的推理是正确的
文件格式: PPTX大小: 7.14MB页数: 62
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）为什么计算机能解题
文件格式: PPTX大小: 1.78MB页数: 32
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）问题求解课程解释和约定
文件格式: PPTX大小: 169.62KB页数: 28
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）总复习之数据结构与算法
文件格式: PPTX大小: 6.31MB页数: 85
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）总复习之形式化和建模
文件格式: PPTX大小: 154.96KB页数: 16
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）算法问题的形式化描述
文件格式: PPTX大小: 1.18MB页数: 32
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）近似算法的基本概念
文件格式: PPTX大小: 1.59MB页数: 54