可计算性理论相关论文
现阶段的科学方法论研究具有一系列特点。第一,需要从哲学角度加以研究的科学知识的范围越来越广:看来没有一门学科不受到方法论......
闪光的价值孕育在自身的给予中。人的价值包含这样的运动:人给予社会 x,社会相对给予人 x′;人再给予社会 y,社会相对再给予人 y......
离散数学是现代数学的重要分支,也是计算机科学中以系统结构和客体之间关系为研究对象的一门新兴学科。随着新技术革命的兴起和电......
该文研究了计算机科学理论中的可计算性理论、自动机理论、计算复杂性理论、程序文法、程序语言等,讨论了印刷电路的布线问题。(李励......
论文分成两个部分.第一部分属于可计算性理论的基础部分,第二部分是可计算理论的应用.在第一部分,我们研究经典可计算性理论的局部......
我们这里说的信息理论是广义的,包含计算理论和通信理论两大部分。计算理论指经典的可计算性理论,代表人物是英国科学家图灵;通信......
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人,实质上就是一台通用图灵机.——图灵2012年6月18日至23日,图灵诞辰百年纪念活动......
可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的。本文从计算理论的角度阐述了构建对称密码体制所需的数学背景:算......
20世纪60年代,加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题。40多年来,世界各国的众多科研人员、专家学者试图挑战......
给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了......
证明存在一个保持最大元1的可计算枚举高度的钻石格。...
<正> 配对函数是讨论递归函数的重要工具。通过配对函数,可以把每个多元数组都对应一个相应的数,亦即可以给每个多元数组一个相应......
...
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将......