计算理论

✍ dations ◷ 2024-12-23 00:05:27 #计算理论

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

相关

裂谷热裂谷热（英语：Rift Valley fever）又称作里夫谷热，是一种由病毒引起的人畜共通病，它的症状程度从轻微到严重都有。轻微的症状包括：发烧、肌肉疼痛、以及头痛（常持续数天到一周）；严重的
小肠小肠（英语：small intestine、拉丁语：Intestinum tenue）是消化系统的一部分，从在胃部后面一直延伸至大肠，是进行食物消化与吸收的主要器官。对于无脊椎动物而言，一般会采用消化系统
莫达非尼莫达非尼（英文名Modafinil）是一种觉醒促进剂（英语：Wakefulness-promoting agent），被用于对发作性嗜睡病、轮班工作睡眠紊乱以及与阻塞性睡眠呼吸暂停相关的白天过度嗜睡（英语：Excess
缺牙症缺牙症 (hypodontia)代表病患缺少一定数量的牙齿，特指缺牙数在六颗以内的情形〈不包含智齿〉。在乳牙期阶段，上颚的患病率较下颚高，且多为侧门牙缺乏。另外，缺牙数超过六颗〈不
钍-232钍（标准原子质量（英语：Standard atomic weight）：232.0377 ）有6种天然存在的同位素，但没有任何一种是稳定的。其中，232Th最为稳定，半衰期长达140亿年（1.4×1010），比地球的年龄和普遍接受
普利亚普利亚（意大利语：Puglia，拉丁语：Apulia），也译作阿普利亚，是意大利南部的一个大区，东邻亚得里亚海，东南面临爱奥尼亚海，南面则邻近奥特朗托海峡及塔兰托湾。该区南部知名的萨伦托半岛，组
柴达木盆地柴达木盆地（藏语：.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring","Qomol
戴维·麦克伦南戴维·麦克伦南（英语：David MacLennan，1937年7月3日－），加拿大生化学家、遗传学家，其主要工作是关于调节钙离子流通过肌浆网的蛋白质，这种调节能够控制肌肉的收缩和舒张，他在肌肉中的
铜钱方孔钱，又称“孔方钱”、“圆形方孔钱”、“方孔圆钱”，是古中国钱币中最常见的一种，一般以铜铸造，故俗称铜钱。方孔钱由圜钱演变而来，自秦朝统一货币，全国铸行半两钱之后，除王莽改
战俘战俘（英语：prisoner of war，缩写为POW），或称俘虏，与人质的性质不同，是指在战争各方中，敌对方被另外一方活捉，但并未处死的，用以作为战争交换条件的人。根据1949年8月12日签订的《关于