可计算性理论相关论文
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人,实质上就是一台通用图灵机.——图灵2012年6月18日至23日,图灵诞辰百年纪念活动......
可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的。本文从计算理论的角度阐述了构建对称密码体制所需的数学背景：算......
给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了......
证明存在一个保持最大元１的可计算枚举高度的钻石格。...
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将......
