计算理论

✍ dations ◷ 2025-11-24 23:46:47 #计算理论

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

相关

2018年－2019年刚果基伍埃博拉出血热爆发2018年－2020年基伍埃博拉出血热爆发始于2018年8月1日，至今尚未结束。为发生在刚果民主共和国东部的埃博拉病毒疫情，于2019年6月扩散至邻国乌干达，截至2020年1月20日，已有超过3300
质子6973167262192369000♠1.67262192369(51)×10−27 kg 7002938272081300000♠938.2720813(58) MeV/c26974141060678730000♠1.4106067873(97)×10−26 J·T−1 6997152103
德国驻日大使馆德国驻日大使馆（德语：Deutsche Botschaft Tokyo、日语：駐日ドイツ大使館），是德意志联邦共和国对日本国设置的外交代表机构，亦为德国规模最大的驻外使馆之一，馆址位于东京港区的南麻
Saussure, Ferdinand de弗迪南·德·索绪尔（法语：Ferdinand de Saussure，1857年11月26日－1913年2月22日），生于日内瓦，瑞士语言学家。索绪尔是现代语言学之父，他把语言学塑造成为一门影响巨大的独立学科。他
乳清乳清是乳汁中酪蛋白凝结滤去后剩下的液体成分，一般是制作奶酪过程中的副产品。含有相当量的蛋白质和少量脂肪，以及乳糖、维生素和矿物质。乳清可以加入其他食品如面包、饼干中
病毒的传播性基本传染数（Basic reproduction number）是在流行病学上，指在没有外力介入，同时所有人都没有免疫力的情况下，一个感染到某种传染病的人，会把疾病传染给其他多少个人的平均数。基本
糖苷水解酶糖苷水解酶（英语：Glycoside hydrolases，又称糖苷酶）是一种专门水解配糖键（glycosidic bond），并产生两个较小的糖分子的酵素，也是自然界中的常见酵素之一。这类蛋白质在人类的产业上
希腊语变音符号希腊语正写法自从希腊化时代开始使用过多种变音符号。这套复杂的多调正写法表示了古希腊语音系，并一直使用到了1982年，这时采用简化后的单调正写法替代了它，新正写法对应于现代
里歇夏尔·罗贝尔·里歇（法语：Charles Robert Richet，1850年8月25日－1935年12月4日），法国生理学家，是许多研究的早期建立者，例如神经化学、消化作用、恒温动物的体温调控，以及呼吸作用。
前世回溯前世回溯（英语：Past life regression），又称前世催眠（英语：Past life hypnosis），是一种记忆回溯，指透过催眠或其他的方式，从大脑的潜意识中，回溯人们对前世的经历及记忆。前世催眠是透