计算理论

✍ dations ◷ 2025-12-07 06:43:15 #计算理论

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

相关

内分泌学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学内分泌学，研究荷尔蒙，处理内分泌系统失
废水废水即受外物污染，主要是人为污染（英语：Human impact on the environment）的水。都市的设计用复合（英语：Combined sewer）排污系统输送废水往污水处理厂作进一步处理。经处理的废水
阿利库迪岛阿利库迪岛是意大利的火山岛，位于西西里岛以北的提雷尼亚海，属于埃奥利群岛的一部分，长2.9公里、宽2.3公里，面积5.2平方公里，最高点海拔高度675米，2001年人口105。
性成熟性成熟是指一生物体可以繁殖的年龄或阶段，以人类而言，身体己性成熟，心理和生理由儿童转到成人的时期，称为青春期。人类女性的性成熟会以每月固定的月经为准，男性的性成熟则是以第
镄5f12 7s22, 8, 18, 32, 30, 8, 2主条目：镄的同位素镄（Fermium）是一种人工合成元素，符号为Fm，原子序为100，属于锕系元素，具有放射性，为一超铀金属元素。镄是能够用中子撞击较轻元素而
耶稣升天节耶稣升天节是纪念基督耶稣在复活四十日后升天一事。这在《使徒信经》和《尼西亚信经》都得以确认。由于复活节在星期日，故本节在星期四庆祝。
亚胺结构亚胺是一种含碳－氮双键的官能团或有机化合物，通式为：R1R2C=NR3，其中氮原子连接一个氢原子（H）或一个有机基团（R3），碳原子则与另两个基团以单键连接。亚胺可视为醛或酮中氧原子被NR基团
纳米细菌纳米细菌是一种具有细胞壁的微生物。其体直径约为200纳米，是可于正常光学显微镜下成像的物件最小尺寸，大大低于细菌的理论下限。1996年，尚未发现纳米细菌时，这个大小被假定的理
高空风力发电机高空风力发电机（Airborne wind turbine）是一种没有支柱做为结构支撑的设计概念，对比一般风力发电机，其优势是不必制作大型的塔形建筑、集电环与设计偏航机构，就能有效利用更高转
单硝酸异山梨酯单硝酸异山梨酯（英语：Isosorbide mononitrate）是一种主要用来治疗心绞痛的药物，原理为通过扩张血管来降低血压。