计算理论

✍ dations ◷ 2025-11-25 06:58:20 #计算理论

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

相关

群体免疫群体免疫（英语：herd immunity或community immunity）是指人或动物群体中的很大比例因接种疫苗而获得免疫力，使得其他没有免疫力的个体因此受到保护而不被传染。群体免疫理论表明，
病征人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学症状（英语：symptom）又称病状，医学术语，在疾
刘文刘文（？－），武汉“疫情吹哨人”之一，武汉市红十字会医院神经内科医生。刘文毕业于武汉大学医学部临床医学专业，在武汉红会医院工作。2019新型冠状病毒疫情爆发，2019年12月30日晚19时39
古罗马古罗马政府与政治系列条目罗马共和国前509年–前27年罗马帝国前27年–1453年元首制西罗马帝国君主制东罗马帝国王政时代宪政（英语：Constitution of the Roman Kingdom）共和
星系自转问题星系自转曲线（英语：Galaxy rotation curve）可以绘制成以恒星或气体的轨道速度为y轴，相对于至核心距离为x轴的图表。恒星围绕星系核心公转的速度在从星系核心开始的一个大范围的
喷气推进实验室喷气推进实验室（英语：Jet Propulsion Laboratory，常缩写为JPL）位于美国加利福尼亚州帕萨迪那，是美国国家航空航天局的一个下属机构，行政上由加州理工学院管理，始建于1936年。喷气推
外层空间外层空间，亦称外太空、宇宙空间，简称空间、外空或太空（英语：outer space），指的是地球大气层及其他天体之外的虚空区域。与真空有所不同的是，外层空间含有密度很低的物质，以等离子态
乔治·波特乔治·波特，陆登汉姆的波特男爵，OM，FRS（英语：George Porter, Baron Porter of Luddenham，1920年12月6日－2002年8月31日），英国化学家，1967年获诺贝尔化学奖。1901年：范托夫 | 1902年：费歇
三磷酸胞苷三磷酸胞苷（英语：cytidine triphosphate, CTP）是一种核苷酸，为合成RNA的原料之一。CTP与ATP同为高能分子，但与ATP相较之下较少作为能量来源。CTP可参与甘油磷脂（例如磷脂酰胆碱和
雪崩雪崩，是在长年积雪的山中常有的自然灾害，是指大量的雪由斜坡表面上快速滑动下来，产生原因通常是积雪处于一种“危险”的平衡状态下，如果稍微有外力作用，就会失去平衡，造成雪块滑动