计算理论

✍ dations ◷ 2025-12-10 20:02:21 #计算理论

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

相关

工程图工程图（英语：engineering drawing）是技术制图（technical drawing）的一种，是一种2D图表或图画来描述建筑图、结构图、机械制图、电气图纸、和管路图纸的制图方式。用工程制图的方法
奥曲肽奥曲肽（学名体抑素胜肽）是一种肽。它是天然生长激素、胰高血糖素和胰岛素，但在药理上模仿了天然的体抑素。它是由化学家Wilfried Bauer于1979年首次合成的。奥曲肽会用于治疗产
施泰克博恩施泰克博恩是瑞士的城镇，位于该国东北部，由图尔高州负责管辖，面积8.76平方公里，海拔高度400米，2011年人口3,642，其中信奉罗马天主教和基督教的居民各占三成。
Netscape Navigator 9Netscape Navigator 9是网景导航者浏览器最后的版本，由美国在线旗下的网景制作。自2004年将第8版的Netscape Browser委交Mercurial Communications制作以来，第一个重回网景制
女真文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
外消旋混合物外消旋混合物（英语：racemic mixture、racemate，或称为外消旋体）是等物质的量的一对对映体混合后得到的组成物。第一个制得的外消旋体是路易·巴斯德制得的酒石酸的外消旋混合物
短串联重复微卫星（英语：Microsatellite，亦称为简单重复序列（英语：Simple Sequence Repeats，SSRs）或短串联重复序列（英语：short tandem repeats，STRs））是多型性的一种类型。指两个或多个核苷酸重复
林鸿宣林鸿宣（1960年11月－），中国作物遗传学家。中国科学院上海生命科学研究院植物生理生态研究所研究员。生于海南海口，原籍海南文昌。1983年毕业于华南农业大学农学系，1986年、1994年在
蒙古国行政区划蒙古国分为首都（蒙古语：нийслэл）乌兰巴托和21个省（蒙古语：аймаг）。省分为县，县分为村（蒙古语：баг）。截至2006年，蒙古国共有331个县。
卡尔·本茨卡尔·弗里德利希·本茨（德语：Karl Friedrich Benz，1844年11月25日－1929年4月4日），德国机械工程师和企业家，他是本茨汽车的创始人，1886年他设计和制造了世界上第一辆能实际应用的内