计算理论

✍ dations ◷ 2024-11-06 00:43:58 #计算理论

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

相关

原生动物原生动物是动物界中最低级、最原始、最简单的一类动物，属于原生生物当中较接近动物的一类，简称原虫。身体由单个细胞所构成，因此也被称为单细胞动物。多营自由生活，也有的生活在
生物体生物系统层级关系：生物圈 > 生态系统 > 群落 > 种群 > 个体生物（拉丁语，德语: Organismus，英语：Organism，又称有机体）是指称类生命的个体。在生物学和生态学中，地球上约有870万种
本能理论本能理论（本能运动的生理学理论）是经典比较行为研究一个整体概念，人们经由这种理论，就可以用统一的观点去观察动物可观察得到的和所谓的先天的行为方式。通过这种总的概念，人们可
鸦片类药物过量鸦片类药物过量是指因为鸦片类药物使用过量造成的中毒现象。鸦片类药物包括吗啡、海洛因、芬太尼、曲马多和美沙酮。症状包括呼吸量不足（英语：respiratory depression）、瞳孔缩
赫尔曼·埃米尔·费歇尔慕尼黑大学 (1875-81) 埃尔朗根-纽伦堡大学 (1881-88) 维尔茨堡大学 (1888-92)阿尔弗雷德·斯托克（英语：Alfred Stock）赫尔曼·埃米尔·费歇尔（德语：Hermann Emil Fischer，1852年1
四碘甲腺原氨酸甲状腺素是甲状腺激素之一，由氨基酸和碘组合而成。甲状腺素有促进细胞代谢，增加氧消耗，刺激组织生长、成熟和分化的功能，并且有助于肠道中葡萄糖的吸收。垂体前叶的促甲状腺激素
传粉授粉（传粉）指的是裸子植物和显花植物的雄性配子，即花粉，从花药被传到雌蕊的柱头，使雌性配子受精的过程。超过80%的有花植物靠生物（例如蜜蜂、蝴蝶、果蝠）传播花粉，其余则靠风（例如
合成代谢同化作用，又称为合成代谢，是指生物体利用能量将小分子合成为大分子的一系列代谢途径。这些反应需要能量，也被称为吸能过程（endergonic process）。将代谢过程分类的一种方式，无论是
甘油醛-3-磷酸甘油醛3-磷酸（英语：glyceraldehyde 3-phosphate，缩写、GADP、GAP；或3-phosphoglyceraldehyde, PGAL）是生物体中的常见分子，是糖解作用的中间产物之一，以及卡尔文循环的糖类产物。这
食肉目食肉目（学名：Carnivora）在动物分类学上是哺乳纲中的一个目。食肉目包括260多种胎生的动物。除杂食的熊科（比如主要吃竹叶的大熊猫），绝大部分均在不同程度上以其他鸟兽、两栖类、爬