计算理论

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

相关

  • 绿藻门绿藻门(学名:Chlorophyta)是植物中的一门,包含有约8000个物种。和陆生植物 (苔藓植物和维管植物)一样,绿藻也含有叶绿素 a 和 c ,且将能源转化为淀粉存在其色素体内。绿藻门和轮藻门
  • 不可逆激动剂不可逆激动剂是一种永久结合并激活受体的激动剂。一般激动剂与受体的结合是可逆的,而不可逆激动剂与此不同,它和受体的结合至少在理论上是不可逆的,如Oxymorphazone就是一种不
  • 腹足动物见内文腹足纲(学名:Gastropoda)是软体动物门中重要的组成部分,包括通常所说的蜗牛、海螺和蛞蝓,也是当中最大的纲,约6.5万到8万个物种。腹足纲是动物中仅次于昆虫纲(Insecta)的第二
  • 美德后设伦理学 规范性 · 描述性 效果论 义务论 美德伦理学 关怀伦理学 善与恶 · 道德生物伦理学 · 网络伦理(英语:Cyberethics) · 神经伦理学(英语:Neuroethics) ·
  • CRH–ACTH–肾上腺轴下视丘-垂体-肾上腺轴 (HPA或HTPA轴),也被叫做 边缘系统-下视丘-垂体-肾上腺轴(LHPA轴),是一个直接作用和反馈互动的复杂集合,包括 下视丘(脑内的一个中空漏斗状区域),脑垂体(下视
  • 生物恐怖主义生物恐怖主义是恐怖主义涉及有意释放或传播的生物制剂(细菌、病毒或毒素)。这可能会对自然或人类有害。根据美国疾病控制与预防中心: .mw-parser-output .templatequote{margi
  • 法兰西斯·柯林斯弗朗西斯·柯林斯(英语:Francis S. Collins,1950年4月14日-),美国遗传学家,美国国立卫生研究院院长,领导人类基因组计划,并发现了多种疾病基因。1989年与徐立之共同同发现囊性纤维化
  • 戈登县戈登县(Gordon County, Georgia)是美国乔治亚州西北部的一个县。面积927平方公里。根据美国2000年人口普查,共有人口44,104人。县治卡尔霍恩 (Calhoun)。成立于1850年2月13日。
  • 底比斯底比斯可能是指:
  • 虹吸式咖啡壶虹吸式咖啡壶,也称赛风壶(音译自siphon或syphon),它最早起源于德国。其借由加热下壶气体,增加压力,虹吸将水推至上壶萃取咖啡。虹吸壶在日本与台湾是很流行的咖啡冲调方法,但是手冲