计算理论

✍ dations ◷ 2025-11-29 20:59:16 #计算理论

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

相关

社会心理学异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
5-羟色胺受体5-羟色胺受体，也被称为血清素受体或5-HT受体，是一群于中枢神经系统中央处和末梢神经系统周边出现的G蛋白偶联受体及配体门控离子通道。它们同时调节兴奋性和抑制性神经传导物
土星0.342（综合的） 0.47（~96%氢（H2）~3% 氦~0.4%甲烷~0.01%氨~0.01%重氢（HD）0.000 7%乙烷冰：氨水土星，为太阳系八大行星之一，至太阳距离（由近到远）位于第六、体积则仅次于木星。并与木星同
忽米忽米 ( 英式英文：centimillimetre、美式英文：centimillimeter ) 符号：cmm ，是一个长度单位。 1忽米等于1米的十万分之一。现今这个长度单位已较少使用。日常可使用忽米的长度距
胺氧化酶胺氧化酶（英语：Amine oxidase）是一个涉及到组胺代谢的酶。EC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/22 · 2.1/2/3/4/5/6/7(2.7.10/11-12)/8/9 · 3
最抗刮损的莫氏硬度，是一种利用矿物的相对刻划硬度划分矿物硬度的标准，该标准是德国矿物学家腓特烈·摩斯（德语：Friedrich Mohs）于1812年提出的。莫氏硬度标准将十种常见矿物的硬度按照从小
黏度黏度（英语：Viscosity），是黏性的程度，是材料的首要功能，也称动力粘度、粘（滞）性系数、内摩擦系数。不同物质的黏度不同，例如在室温（25℃）及常压（1巴）下，空气的黏度为18.5μPa·s，大约比在相
神经元无人作战飞机达索神经元（Dassault nEUROn），是法国达索公司的实验性无人战斗空中载具(UCAV)。使用三角翼隐形外型，也是达索三阶段式无人机计划最后阶段，直到2005六月巴黎航空展，装上全比例发动
范懋柱范懋柱（约1718年－1788年），字汉衡。清朝藏书家。浙江鄞县（今属宁波市海曙区）人，范钦八世孙。早年曾是诸生。乾隆帝诏修《四库全书》时，范懋柱进呈天一阁珍本638种，绝大多数未归还。乾
爱德华·阿普尔顿爱德华·阿普尔顿爵士，GBE，KCB，FRS（英语：Sir Edward Appleton，1892年9月6日－1965年4月21日），英国物理学家，曾任爱丁堡大学校长，国际科学无线电协会主席。他长期从事大气层物理性质的研