计算理论

✍ dations ◷ 2025-02-23 14:46:52 #计算理论

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

相关

伯里克利时代伯里克利时代是指古希腊的一个历史时期，其始于波希战争，终于伯里克利离世或伯罗奔尼撒战争结束，大约由前480年至前404年。在同一时期大批在政治、哲学、建筑、雕塑、历史以及文
巴西卢佐岛巴西卢佐岛（Basiluzzo）是意大利西西里岛北侧的火山岛岛链伊奥利亚群岛中面积最小的一个岛，面积只有1 km²。位置介于帕纳雷阿岛和斯特龙博利岛之间。其古代名称为"Hycesia"。坐
皮洛士皮洛士（希腊语：Πύρρος；拉丁语：Pyrrhus；前319年或前318年－前272年），摩罗西亚国王，出身埃阿喀得斯家族，也是希腊伊庇鲁斯联盟统帅（前306年–前302年, 前297–272年），后来成为叙拉古国
苏黎世苏黎世（德语：Zürich .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium
复合口服避孕药复合口服避孕药，也叫复方口服避孕药，是目前最常见的避孕药。它是一种通过服用复合雌激素和孕激素来控制生育的方法。如女性正确地根据药物说明，每日规律服用这种药，可达到避孕的
喇叭喇叭可以指：
刘徽刘徽（约225年－约295年），三国时代魏国数学家。白尚恕考证他是山东淄博淄川人，梁敬王刘定国之孙菑乡侯刘逢喜的后裔。刘徽为《九章算术》做注，于三国魏景元四年（公元263年）成书，其中他
索尔克研究所索尔克生物研究所（英语：Salk Institute for Biological Studies，又译为沙克生物学研究所、索克生物科学研究院）是坐落在加州南部拉霍亚的一个独立非营利科学研究机构。它于1960
PP2蛋白磷酸酶2（英语：Protein phosphatase 2，简称PP2或PP2A）是由PPP2CA基因编码的蛋白磷酸酶。PP2A存在于很多组织中，为异三聚体，属于丝氨酸/苏氨酸磷酸酶，具有广泛的底物特异性和多样
普罗万普罗万（Provins）是一座法国塞纳-马恩省市镇，也是该省的副省会。位于巴黎东南77公里处。普罗万在中世纪是一座属于香槟伯爵的防御城镇。由于交通便利，普罗万在12—13世纪成为香槟