计算理论

✍ dations ◷ 2025-11-23 08:03:08 #计算理论

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

相关

胶囊胶囊剂以可溶性明胶作为包覆材料的囊状药剂，可避免口服时，药物与味觉器官直接接触引发恶心反应。请阅读硬胶囊请阅读软胶囊
环境健康展望《环境健康视角》（Environmental Health Perspectives）是一份1972年起由美国国家环境健康科学研究所（英语：National Institute of Environmental Health Sciences）发行的学术期刊
安慰剂效应安慰剂效应（英语：placebo effect，来自拉丁文“placebo”解“我将安慰”），又名伪药效应、假药效应、代设剂效应；指病人虽然获得无效的治疗，但却“预料”或“相信”治疗有效，而让病患
尺骨附属韧带重建术尺骨附属韧带重建术（UCL, Ulnar Collateral Ligament Reconstruction）又称Tommy John韧带重建手术，此手术把受伤手肘尺骨的韧带用身上其他部位的韧带替换（通常是从病人的前臂、
潜射弹道导弹潜射弹道导弹（英语：submarine-launched ballistic missile，缩写为SLBM）是指由弹道导弹潜艇发射的弹道导弹。现代化的该类型导弹大多具备搭载多目标重返大气层载具（MIRVs）能力，以便
剑羚东非剑羚 Rüppell, 1835 弯角剑羚 Cretzschmar, 1827 南非剑羚 (Linnaeus, 1758) 阿拉伯剑羚 Pallas, 1766剑羚属（Oryx）包含四种剑羚。其中三种原生于非洲的干燥区，第四种原生
子产法家系列条目战国：李悝、吴起、慎到、申不害、　　　商鞅、李斯、韩非子产（？－前522年），姬姓，国氏，名侨，字子产，又字子美，谥成，又称公孙侨、公孙成子、东里子产、国子、国侨、郑乔，是春秋
弗拉基米尔-苏兹达尔大公国弗拉基米尔-苏兹达尔大公国（俄语：Владимиро-Су́здальское кня́жество）又被称为弗拉基米尔-苏兹达尔罗斯（俄语：Владимирско-Су́з
生理医学诺贝尔生理学或医学奖（瑞典语：Nobelpriset i fysiologi eller medicin），通常合称诺贝尔生理医学奖，由诺贝尔基金会管理，该奖项每年颁发一次，用于表彰在生理学或医学领域作出重要发
以色列王国以色列王国可以指：也可指：