计算理论

✍ dations ◷ 2025-12-06 23:40:57 #计算理论

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

相关

输运现象气体的输运现象（英语：transport phenomena）表示一类气体由非平衡态转为平衡态的过程，主要有以下几类：处于非平衡态的热力学系统依据其偏离平衡态的程度一般可以分为近平衡态和远
Homininae人亚科（Homininae）是人科下的亚科，当中包括了人类及其已灭绝的亲属，以及大猩猩及黑猩猩。它亦包含了所有的原始人类，如南方古猿。直至1980年前，人科都只有人类一种，而其他的都是属
休眠休眠可以指:
线粒体DNA线粒体DNA（英语：mitochondrial DNA，缩写作mtDNA）指一些位于线粒体内的DNA，与一般位于细胞核内的DNA有不同的演化起源，可能是源自早期细菌。虽然现存生物体中绝大多数作用于线粒体
黄金宫黄金宫（Ca' d'Oro，正式名称为圣索非亚宫（Palazzo Santa Sofia））是威尼斯的一座古老宫殿，被认为是威尼斯大运河上最美丽的宫殿之一。它通常被称作“黄金宫”，因为曾经用镀金来装饰外
夏朗德省夏朗德省（法语：Charente）是法国阿基坦-利木森-普瓦图-夏朗特大区所辖的省份。该省编号为16。夏朗德省是于法国大革命期间，于1790年3月4日成立，为原来83个省份之一。以酿造葡萄酒
费米凝聚费米凝聚（Fermionic condensate）：类似于玻色-爱因斯坦凝聚态，由大量费米子占据同一量子态形成。由于泡利不相容原理，不同的费米子不能占据同一量子态，因此费米子不能像玻色子那样
甲苯二异氰酸酯甲苯二异氰酸酯 (TDI)是一种有机化合物，化学式为CH3C6H3(NCO)2。在六种可能的异构体中，有两种作为商品是重要的：2,4-TDI (CAS: 584-84-9)和2,6-TDI (CAS: 91-08-7)。2,4-TDI以
偕二醇偕二醇（英语：geminal diol,可缩写为gem-diol，也译为孪二醇) 是指两个羟基官能团（-OH）共价结合到同一个碳原子上的有机化合物，一般是不稳定的。最简单的偕二醇为甲二醇，化学式：CH4O2
平方平方平均数（Quadratic mean），简称方均根（Root Mean Square，缩写为 RMS），是2次方的广义平均数的表达式，也可叫做2次幂平均数。其计算公式是：在连续函数