首页 >
计算理论
✍ dations ◷ 2025-04-25 05:21:34 #计算理论
计算理论(英语:Theory of computation)是数学的一个领域,和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题:这三方面的问题可以用一个问题来总括:“电脑的基础能力及限制到什么程度?”计算理论的“计算”并非指纯粹的算术运算(Calculation),而是指从已知的输入透过算法来获取一个问题的答案(Computation),因此,计算理论属于计算机科学和数学。为了对计算进行严谨的研究,计算机科学家会将计算以数学的方式抽象化,称为计算模型。有几种当前在使用的计算模型,其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述,可以分析,用来证明结果,而且用此模式呈现了许多强而有力的计算模型(引用邱奇-图灵论题)。图灵机有潜在的,数量无限的记忆能力,这似乎是不可能达到的,不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上,任何可以用图灵机解决的(可判定性)问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了,当时是使用数理逻辑,在20世纪此理论和数学分离,成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。
相关
- 展青霉素ClairforminClaviformExpansineClavacinClavatinExpansinGigantinLeucopinPatuline展青霉素(英语:Patulin)是一种有毒的真菌代谢产物,它是一种神经毒物,具有致畸性和致癌性。很多
- 欧盟理事会欧洲联盟理事会(英语:Council of the European Union),简称欧盟理事会,是欧洲联盟事实上的两院制立法机关上议院,由来自28个欧盟成员国各国政府部长所组成的理事会;与欧洲议会为是
- 夏威夷夏威夷州(夏威夷语:Mokuʻāina o Hawaiʻi,英语:State of Hawaii),目前由美国控制,是美国的州份之一,由夏威夷群岛组成,距离美国本土3,700公里,属于太平洋沿岸地区;所属的大洲则是大洋
- 赫伯特·博耶赫伯特·博耶(英语:Herbert W. Boyer,1936年7月10日-),美国生物学家。1958年于宾夕法尼亚州圣文森特学院获生物学及化学学士学位。1963年于匹茨堡大学获博士学位。1976至1991年任
- 肌联蛋白肌联蛋白(肌巨蛋白)(英语:titin)是人体中是由肌联蛋白基因(TTN)编码的蛋白质。肌联蛋白是一个巨大的蛋白质,为肌肉收缩的弹性元件。它由244个结构域以及之间的肽序列连接组成。这些
- 雅高雅高酒店集团(Accor)是一家大型的法国跨国企业 ,在将近100个国家中经营,股票列入巴黎CAC40指数。 雅高旗下的雅高酒店是欧洲旅馆业的霸主,在全球拥有超过4000家旅馆,涵盖最豪华的
- 克列诺片段克列诺片段(Klenow fragment)或称克列诺酶(Klenow enzyme),是汉斯·克列诺1970年用枯草杆菌蛋白酶(subtilisin)处理大肠杆菌DNA聚合酶Ⅰ时,得到的两个片段中分子量较大的一个,它含有6
- 伊利哈姆·阿利耶夫伊利哈姆·盖达尔·奥格雷·阿利耶夫(阿塞拜疆语:İlham Heydər oğlu Əliyev,1961年12月24日-),阿塞拜疆商人、政治家,新阿塞拜疆党领袖,前阿塞拜疆总统盖达尔·阿利耶夫之子,曾
- 脑死亡脑死(或称脑死亡,英语:Brain death),作为死亡判定的准则之一,通常指包括脑干在内的全脑部功能丧失的不可逆转的状态。近年以来,脑死已经成为判断死亡的一个重要标志。一个人若停止
- 冷冻治疗冷疗(cryotherapy)是降低组织的温度以达到治疗效果的方法。冷却可以减少组织血液量及减慢组织的新陈代谢,因此,可降低出血及发炎的情况。对于痉挛,肌肉挛缩有一定的效果。还有