哥德尔，图灵和康托尔 part 2 停机问题

【哥德尔，图灵和康托尔 part 2 停机问题】的更多相关文章

哥德尔，图灵和康托尔 part 2 停机问题

图灵著名的停机问题对于软件开发者而已是非常熟悉的.下面简单描述停机问题: 假设给你一个计算机程序的源代码,也给你所有程序要用的数据,文件,硬盘,DVD等等,所有它需要处理的东西.你能告诉我程序最终是否能够输出我们需要的结果吗,并且在工作完成之后,程序是就退出,还是会永远运行下去不会停止呢?换句话所就是,对于它会不会停止这个问题, 检查程序和数据,是不是足以能够让你回答是或否呢? 图灵对于停机问题不可解决的证明是决定性的.没有一个软件仅靠检查另一个软件的源代码,就能够决定它是否会停止运行,还是会永…

哥德尔，图灵和康托尔 part 1 哥德尔编号

在看计算理论相关的书的时候,偶然看到这个blog,http://skibinsky.com/godel-turing-and-cantor-the-math/,写的很好.我觉得用自动机的方式讲计算理论的话,从DFA,正则,到图灵机,都是很直观而且容易理解的,但是从Halt, Reducibility开始,再用图灵机的语言来描述就是一件可怕而且容易令人迷惑的方式了.这个时候通常不得不退回去,尝试从Lambda Calculus的角度去理解计算理论.不过 Recursion 的符号确实也很讨厌.如果…

推举算法 AdaBoost 哥德尔奖 Godel Prize

推举算法 AdaBoost 2003年理论计算机科学界最高奖哥德尔奖 Godel Prize…

matlab实现雅可比、高斯塞德尔、后项误差计算

稀疏矩阵生成: function [a, b] = aparsesetup(n) e = ones(n, 1); n2 = n / 2; a = spdiags([-e 3*e -e], -1:1, n, n); a(n2+1, n2) = -1; a(n2, n2+1) = -1; b = zeros(n, 1); b(1) = 2; b(n) = 2; b(2 : n-1) = 1; end 雅可比方法: function x = jacobi(a, b, k) n = length(b);…

Kendall's tau-b（肯德尔）等级相关系数

Kendall's tau-b(肯德尔)等级相关系数:用于反映分类变量相关性的指标,适用于两个分类变量均为有序分类的情况.对相关的有序变量进行非参数相关检验:取值范围在-1-1之间,此检验适合于正方形表格: 计算积距pearson相关系数,连续性变量才可采用;计算Spearman秩相关系数,适合于定序变量或不满足正态分布假设的等间隔数据; 计算Kendall秩相关系数,适合于定序变量或不满足正态分布假设的等间隔数据. 计算相关系数:当资料不服从双变量正态分布或总体分布未知,或原始数据用等级表示时…

德尔福 XE5 安卓权限设置

http://delphi.org/2013/10/delphi-xe5-android-uses-permissions/ The permissions required by a Delphi XE5 Android application are defined through the Uses Permissions dialog. It is found under Project -> Options… [Shift+Ctrl+F11]. If you select other T…

德尔福 XE5 安卓调试

https://stackoverflow.com/questions/2604727/how-can-i-connect-to-android-with-adb-over-tcp?page=2&tab=votes#tab-top http://delphi.org/2013/10/wireless-android-debugging-with-delphi-xe5/ Previously I blogged about how to connect to an emulator on a re…