计算理论

✍ dations ◷ 2025-11-26 14:26:50 #计算理论

计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：这三方面的问题可以用一个问题来总括：“电脑的基础能力及限制到什么程度？”计算理论的“计算”并非指纯粹的算术运算（Calculation），而是指从已知的输入透过算法来获取一个问题的答案（Computation），因此，计算理论属于计算机科学和数学。为了对计算进行严谨的研究，计算机科学家会将计算以数学的方式抽象化，称为计算模型。有几种当前在使用的计算模型，其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述，可以分析，用来证明结果，而且用此模式呈现了许多强而有力的计算模型（引用邱奇－图灵论题）。图灵机有潜在的，数量无限的记忆能力，这似乎是不可能达到的，不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上，任何可以用图灵机解决的（可判定性）问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了，当时是使用数理逻辑，在20世纪此理论和数学分离，成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。

相关

GND整合规范文档（德语：Gemeinsame Normdatei，英语：Integrated Authority File，简称GND）是一种国际性的规范控制，可用于组织个人姓名和主题栏目，整合图书馆目录。图书馆用这种方式进行文
三域系统三域系统 (Three-domain system) 是由美国微生物学家和生物物理学家卡尔·乌斯 (Carl Richard Woese)等人在1977年提出的细胞生命形式的分类，是古菌域 (Domain Archaea)、细
路易吉·伽伐尼路易吉·阿洛伊西奥·伽伐尼（意大利文：Luigi Aloisio Galvani, 拉丁文：Aloysius Galvani）1737年9月9日－1798年12月4日）是意大利医生、物理学家与哲学家，现代产科学的先驱者。他在意
文字列表文字，世界的书写文字系统列表。
大平原大平原（英语：Great Plains），多称北美大平原、北美大草原，是北美洲中部一块广袤的平原地区，大致位于密西西比河以西、落基山脉以东、格兰德河以北。自然植被以草为主。大平原东西长
利伯蒂县自由县（Liberty County, Georgia）是位于美国乔治亚州东部的一个县，东傍大西洋。面积1,561平方公里。根据美国人口调查局2000年统计，共有人口61,610人。县治罕斯维（Hinesville）。成
贝叶斯贝叶斯推断（英语：Bayesian inference）是推论统计的一种方法。这种方法使用贝叶斯定理，在有更多证据及信息时，更新特定假设的概率。贝叶斯推断是统计学（特别是数理统计学）中很重要的
印度海岸防卫队云雀III型直升机印度海岸警卫队（ICG），印度四个武装部队的其中之一，其使命是守卫印度共和国的海上利益。印度海岸警卫队的组织类似于其他的印度武装部队。它按海岸警卫队法创建于
后辈后辈、晚辈，可以指后代、子孙，也可以是对社会中无血缘关系而比自己年少者，或者同组织中科层地位相近而比自己资浅者的称呼。对于后辈，有若干不同的称呼法，例如在学徒、剧团之间叫
和平条约和平条约，简称和约，是敌对双方所签署的一种条约，主要用以正式结束战争和武装冲突，签订双方通常是国家、政府或政治实体。当条约签署完成之后，双方的敌对状态将会结束。此与停战协