首页 >
计算理论
✍ dations ◷ 2025-09-18 03:38:38 #计算理论
计算理论(英语:Theory of computation)是数学的一个领域,和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题:这三方面的问题可以用一个问题来总括:“电脑的基础能力及限制到什么程度?”计算理论的“计算”并非指纯粹的算术运算(Calculation),而是指从已知的输入透过算法来获取一个问题的答案(Computation),因此,计算理论属于计算机科学和数学。为了对计算进行严谨的研究,计算机科学家会将计算以数学的方式抽象化,称为计算模型。有几种当前在使用的计算模型,其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述,可以分析,用来证明结果,而且用此模式呈现了许多强而有力的计算模型(引用邱奇-图灵论题)。图灵机有潜在的,数量无限的记忆能力,这似乎是不可能达到的,不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上,任何可以用图灵机解决的(可判定性)问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了,当时是使用数理逻辑,在20世纪此理论和数学分离,成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。
相关
- 鼻炎鼻炎(rhinitis)是医学术语,用于描述鼻腔中的一些区域受到刺激而产生的炎症。鼻炎典型的病征通常表现为流鼻涕。鼻炎是由于急性或慢性的鼻粘膜如病毒、病菌感染,或刺激物作用下受
- SGLT2抑制剂钠-葡萄糖协同转运蛋白2抑制剂(英语:SGLT2 inhibitors,简称SGLT2抑制剂,或称列净类药物(英语:Gliflozin))是一种通过抑制葡萄糖在肾脏内重吸收而起到降糖作用的抗糖尿病药。 其原理
- 皮肤系统外皮系统包覆在生物体的表面,是生物体与外界环境的分界,并且保护生物体免受外来物的侵犯。以单细胞生物而言,外皮即是细胞膜及黏附在胞膜外的分泌物,然而,细菌则有细胞壁来维持细
- 三苯甲醇三苯甲醇是一种有机化合物,属于醇类,也属于芳香族,其化学式为(C6H5)3COH或Ph3COH或C19H16O,常缩写为TrOH。它是一种白色结晶固体,是不溶于水和石油醚,但溶于乙醇、二乙醚、乙醚、
- 双螺旋结构在分子生物学中,双螺旋是指由核酸(如DNA和RNA)的双链分子所形成的结构。核酸复合物的双螺旋结构是它的二级结构的结果,并且是确定其三级结构的基本组成部分。这个术语因詹姆斯·
- 浮游生物浮游生物(英语:Plankton)泛指生活于水中而缺乏有效移动能力的漂流生物,其中分有浮游植物及浮游动物。部分浮游生物具游动能力,但其游动速度往往比它自身所在的洋流流速来得缓慢,因
- 鲁道夫·康夫纳鲁道夫·康夫纳(英语:Rudolf Kompfner,1909年5月16日-1977年12月3日)是一名奥地利建筑师、工程师和物理学家,人们普遍将行波管(英语:traveling-wave tube,简称:TBT)的发明归功于康夫纳
- 英属印度陆军First World War: ~1,750,000英属印度陆军或称英属印度军,简称英印军(英文:British Indian Army),正式名称是印度军(英文:Indian Army)是英属印度时期(1858年-1947年)的英属印度武装部
- 迪拜国际机场迪拜国际机场(阿拉伯语:مطار دبي الدولي,IATA代码:DXB;ICAO代码:OMDB)是阿拉伯联合酋长国迪拜的主要机场,为阿联酋航空的枢纽港。可起降目前所有的机型,是中东地区重
- 额肌额肌(Frontalis muscle)是一块薄薄的人体肌肉,位于前额,呈四边形,且紧密地附着在浅筋膜上。额肌比枕肌更宽,其纤维长度更长、颜色更白。它并不附着任何骨质。额肌中央的部分纤维和