南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 II 关系 Relation（简版）
文件格式: PDF大小: 2.05MB页数: 52
南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 II 关系 Relation
文件格式: PDF大小: 2.43MB页数: 155
南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 I 公理与操作（简版）
文件格式: PDF大小: 1.87MB页数: 39
南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 I 公理与操作
文件格式: PDF大小: 2.14MB页数: 106
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）问题求解课程解释和约定
文件格式: PPTX大小: 111.55KB页数: 19
The first three chapters cover the standard material on sets, relations, and functions and algorithms. Next come chapters on logic, counting, and probability. We then have three chapters on graph theory: graphs, directed graphs, and binary trees. Finally there are individual chapters on properties of the integers, languages, machines, ordered sets and lattices, and Boolean algebra, and appendices on vectors and matrices, and algebraic systems. The chapter on functions and algorithms includes a discussion of cardinality and countable sets, and complexity. The chapters on graph theory include discussions on planarity, traversability, minimal paths, and Warshall’s and Huffman’s algorithms. We emphasize that the chapters have been written so that the order can be changed without difficulty and without loss of continuity
文件格式: PDF大小: 3.98MB页数: 479
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性
文件格式: PPTX大小: 1.56MB页数: 22
南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）什么样的推理是正确的
文件格式: PPTX大小: 7.13MB页数: 62