计算理论

✍ dations ◷ 2025-04-03 13:12:09 #计算理论

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

相关

智能设计论智能设计论（英语：Intelligent design，简称智设论、ID）是对神的存在的宗教性逻辑论证。尽管支持者认为智能设计论是一个“关于生命起源的科学理论”，但其已遭主流科学界视为伪科学
广播广播是指利用电子通信技术发送声音、影像、影片等信息内容给广大公众的行为。在传播学上，广播的受众不单是听众，也有观众。例如电视台、电台、商场、学校体操场、车站大堂、巴
以色列航天局以色列航天局（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta
砂锅砂锅是以砂以及陶土制成的锅，有时候部分上釉。客家话与日语称土锅，闽南语称狗母锅。依靠砂锅的菜谱有砂锅鸡、砂锅豆腐、砂锅鱼头、砂锅云吞鸡等。
统治贞观遗风，是指在唐太宗之后的时期，亦即唐高宗及武则天的五十六年统治时期（649-705年），继续维持贞观之治的开明政治局面，并为后来唐玄宗的开元之治奠定基础。《资治通鉴》认为唐高
视杆细胞视杆细胞（拉丁语: radius；德语：Stäbchen；英语：rod cell），是视网膜上与视锥细胞相称的一种细胞，主要分布在视网膜中心周围，且较视锥细胞对光更敏感，几乎主要全部用于夜视力，并作为外围
冯伟衷冯伟衷（英语：Aloysius Pang Wei Chong；1990年8月24日－2019年1月23日），原名冯伟忠，新加坡影视男演员及歌手，曾为新传媒私人有限公司旗下部头合约艺人，亦是新传媒八公子之一。冯伟衷曾
Ralph Lauren拉尔夫·劳伦（英语：Ralph Lauren，1939年10月14日－），美国时装设计师与企业经营者；最为人所知的就是他的Polo Ralph Lauren服装品牌。拉尔夫·劳伦出生在美国纽约市布朗克斯区，他的父
Grinding贴身舞是舞伴舞的一种，即两个或多个舞伴以互相摩擦对方身体的方式跳舞。做为一种新近出现的现代舞，贴身舞最早在夜总会风靡，后来更流行于美国和加拿大的年轻学生之间。由于不赞
丙醇丙醇（分子式：C3H7OH）有以下几种同分异构体：