首页 >
计算理论
✍ dations ◷ 2025-11-27 18:49:53 #计算理论
计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：这三方面的问题可以用一个问题来总括：“电脑的基础能力及限制到什么程度？”计算理论的“计算”并非指纯粹的算术运算（Calculation），而是指从已知的输入透过算法来获取一个问题的答案（Computation），因此，计算理论属于计算机科学和数学。为了对计算进行严谨的研究，计算机科学家会将计算以数学的方式抽象化，称为计算模型。有几种当前在使用的计算模型，其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述，可以分析，用来证明结果，而且用此模式呈现了许多强而有力的计算模型（引用邱奇－图灵论题）。图灵机有潜在的，数量无限的记忆能力，这似乎是不可能达到的，不过所有图灵机解决的可判定性问题都只需要有限量的记忆能力。因此理论上，任何可以用图灵机解决的（可判定性）问题都只需要有限量的记忆能力。计算理论早在所有计算机发明之前便开始了，当时是使用数理逻辑，在20世纪此理论和数学分离，成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。
相关
- 鼻软骨鼻软骨的结构带有支撑鼻子的功能。鼻软骨包含：
- 角膜后沉积物角膜后沉积物(keratic precipitate)，在角膜内表面的点状沉积物，可以通过裂隙灯看到。KP的出现有两个必要条件：也就是说，KP的出现前提是有眼内炎症的发生。正常的眼睛或者只有外
- 滤泡旁细胞滤泡旁细胞（Parafollicular cell）本身来源于神经脊细胞（neural crest cell），为一种分泌降钙素的神经内分泌细胞，又称parafollicular cell、C细胞。在1664年首度由Geoffary Webster
- 照片相片，亦称照片，是从摄影得出来的影像，始源于1826年。 通常由感光纸张收集光子而产生出来，相片成相的原理是透过光的化学作用在感光的底片、纸张、玻璃或金属等辐射敏感材料上产
- 史前狮子人雕像狮子人雕像是全世界已知的最古老雕塑品，是三万年前的史前人类用象牙制作而成的。最初被科学家们称作“狮子人” (德语：Löwenmensch, 字面意思是“狮人”)，亦是世界上已知最古
- 鲍氏南方古猿鲍氏傍人（学名：Paranthropus boisei）为人科傍人属的一种，是早期的人族及最大的傍人。他生存于260-120万年前上新世至更新世的东非。他最初被命名鲍氏东非人，及后被更名为鲍氏南方
- 拉斯·昂萨格拉斯·昂萨格（挪威语：Lars Onsager，1903年11月27日－1976年10月5日），挪威出生的美国化学家。他因发现非平衡态热力学的一般关系，提出了倒易关系而获得1968年诺贝尔化学奖。拉斯·昂
- 麦克白芬莱克之子麦克白塔德（中世纪盖尔语：Mac Bethad mac Findlaích；现代盖尔语：MacBheatha mac Fhionnlaigh；1005年－1057年8月15日），英语化简称麦克白（Macbeth），绰号赤王（Rí Deircc），是1040
- 园林设计园林设计，又称为“造园”，是在中国（或东亚其他国家）的传统园林理论的基础上，具有建筑、植物、美学、文学等相关专业知识的人士对自然环境进行有意识改造的思维过程和筹划策略。而
- 恋袜恋袜指对于袜子（包括短袜、中统袜、长袜、膝上袜、大腿袜、裤袜、学生袜、运动袜、丝袜、船袜及泡泡袜等）的实物，以及在印刷品或者电子媒体上出现的袜子图像有特殊迷恋的恋物行
