可计算性理论

可计算性理论 正文　　研究计算的一般性质的数学理论，也称算法理论或能行性理论。它通过建立计算的数学模型（例如抽象计算机），精确区分哪些是可计算的，哪些是不可计算的。计算的过程就是执行算法的过程。可计算性理论的重要...

所属分类： 计算机 计算机术语

李祥

，贵州电子学会第二届副理事长，贵州省科协副主席。从事数理逻辑递归论、计算理论和计算复杂性理论等方面的研究。撰有论文《可计算性理论导引》、《递归可...

所属分类： 红楼梦人物

计算理论

。计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和... 简介 计算理论 【theory of computation】 用来研究计算的过程与功效的数学理论。1936年，数理逻辑专家便提出了计算...

所属分类： 计算数学

克林

”，从而推广了可计算性理论，对理论计算机科学有重大影响。与其学生合著有《直觉...递归函数理论和有效的可计算性方面。他建立了递归函数类的基本数学性质，并证明了递归函数的概念与可计算数论函数的直觉概念是一致的；给出了克林范式定理...

所属分类： 国际足球明星 幻想水浒传角色 药品 逻辑学家

算法

家们提出了递归函数、图灵机等计算模型，并提出了丘奇－图灵论题（见可计算性理论...。算法的这种特性，使得计算不仅可以由人，而且可以由计算机来完成。用计算机解决问题的过程可以分成三个阶段：分析问题、设计算法和实现算法。 　　中国...

所属分类： 代数 分子生物学 基本物理概念 微生物学 心理学 心理学术语 数学术语 数据结构 术语 物理学 电脑术语 算法 编程软件 计算机术语 计算机系统 语言学

理论计算机科学

的（后来证明是彼此等价的）算法定义，从而建立了算法理论（即可可计算性理论...复杂性理论原是可计算理论的一支，是以各种可计算函数(即递归函数)的计算复杂...实际可计算性两种。作为可计算性理论一支的计算复杂性理论，是以前者的复杂程度...

判定问题

判定问题的算法。判定问题的研究推动了对算法理论或称可计算性理论的研究...性 　从计算复杂性方面对可解的判定问题的研究证明，一些理论虽然原则上是可判...数的线性序理论的判定问题是可解的。1929年，M.普利斯贝格证明了自然...

所属分类： 数学术语 术语

描述复杂性理论

(x)值是唯一确定的。 　　描述复杂性理论是在可计算性理论的发展和计算...揭示计算和证明过程的某些内在属性。在这种意义下可认为描述复杂性理论是把...由于采用不同计算模型下的程序概念而使对应的K(x)值截然不同。在可计算理论中已...

谷大武

安全理论可计算性理论 研究方向 密码学与信息安全、计算机通信网络安全技术...在职情况： 在性 别： 男所在院系： 电子信息与电气工程学院计算...，2004年遴选为博士生导师。主要从事应用密码学和计算机网络安全的教学与...

所属分类： 上海交通大学教师 教师

刘晓鸿

情况 ： 在 性别 ： 男 所在院系 ： 计算机科学与技术学院 所教课程 ： 算法设计与分析 算法分析与设计 可计算性理论 研究方向 ： 嵌入...科学院自动化所博士学位，现任北京邮电大学计算机科学与技术学院副教授，硕士...

所属分类： 北京邮电大学教授

搜索可计算性理论相关的维吧

1[2][3]下一页最后一页