计算理论

✍ 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)有以下几种同分异构体: