01.可计算性研讨第一部分讲稿.pdfVIP

集智俱乐部 可计算性 研讨班 ?程 ? 第?次：2?23 ?苑明理 ? 第四次：4?6 ? ? 第?部分：基本概念的初步探讨 ? 第?部分：不可解问题 ? 第?部分：While 语? ? 第九部分：希尔伯特第?问题 ? 第?次：3?9 ?苑明理 ? 第五次：4?20 ?张江 ? 第三部分：可计算性的基本理论 ? 第四部分：元编程、?应?、编译器?成 ? 第?部分：哥德尔不完备定理 ? 第三次：3?23 ??? ? 第六次：5?4 ? ? 第五部分：其他顺序计算模型 ? 第??部分：基于数的可计算性理论 ? 第六部分：邱奇－图灵论题 ? 第??部分：更抽象的可计算性途径 ? 第七部分：函数式语?的可计算性 第?部分 ? 问题与算法 ? 有效过程 ? 通?计算 问题与算法 说清楚什么是问题与算法并不容易 ? 什么是问题？ ? 什么是算法？ ? 看看?个例?？ ? 我们要考察的问题与算法 字源 困 ?说指墙中之?，?说指进院的?槛； 都与?种受限的状态有关。 算 双?摆弄筹算，与?种繁琐操作有关； 使?们可以摆脱上述受限的状态。 古埃及的数乘 在这个时期?数的 表?与运算都?较困难 引?/mad/Ancient-Africa/mad_ancient_egypt_arith.html 筹算与九九乘法表 数位制表?法和运算法则都已经成熟 《夏侯阳算经》 夫乘除之法，先明九九，?丛?横，百?千僵，千?相望，万百相当。 满六已上，五在上?。六不积算，五不单张。上下相乘，实居中央。 ???当。已法除之，宜得上商，横算相当。以次右?，极于左?。 引?/wiki/%E7%AD%B9%E7%AE%97 阿拉伯的格?乘法 引?/wiki/Long_multiplication#Lattice_multiplication 第?·布拉赫的 Prosthaphaeresis 法 计算 105 与 720 乘积的近似值 ? 缩?： 0.105, 0.720 ? 查表求?度： cos(84°) = 0.105, cos(44°) = 0.720 ? 作和与差