计算理论

✍ dations ◷ 2025-11-30 10:35:25 #计算理论

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

相关

绿藻绿藻可以指：
参议院多数党（53）少数党（47）议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders o
电阻抗阻抗（electrical impedance）是电路中电阻、电感、电容对交流电的阻碍作用的统称。阻抗是一个复数，实部称为电阻，虚部称为电抗；其中电容在电路中对交流电所起的阻碍作用称为容抗，电
苄基苄基（苄读音：biàn，ㄅㄧㄢˋ，英语：Benzyl）是甲苯的甲基的氢被去掉后形成的基团，有机合成中缩写为Bn。有机合成中苄基被用于保护羟基，包括醇和羧酸。上苄基：在碱水（例如：碳酸钾）和二氯甲
汤姆孙汤姆森或汤姆孙是英语Thomson的译名，可以指：
㎟平方毫米（符号为mm²）是面积的公制单位(SI Unit)，其定义是“边长为1毫米的正方形的面积”。(1m²=1000000mm²) (1cm²=100mm²) (1µm²=0.000001mm²)平方尧米、平方佑米（Ym²
数据库理论数据库理论（Database theory）指数据库与数据库管理系统的相关理论与研究。数据管理方面的理论涵盖其他领域，如查询语言的基础、计算复杂性和查询的表达能力（英语：Expressive powe
死亡之手死亡之手是冷战时期苏联的一套核武器操控设备。它包括一套计算机系统，通过检测地震波、放射线等数据判定苏联是否已经遭到核攻击，如判定遭到攻击，系统会发射特别的“广播导弹”
黄　如黄如（1969年11月－），生于江苏南京，籍贯福建南安，中国微电子器件专家，北京大学教授，中国科学院院士。1969年生于江苏南京，籍贯福建南安，1991年毕业于东南大学电子工程系，1994年获得东南大
南京云锦织造技艺云锦是一种中国传统提花丝织锦缎，为南京特产。因其图案绚丽、纹饰华美如天上云霞而得名，与四川蜀锦、苏州宋锦并称“中国三大名锦”。云锦至今有约1600年的历史。东晋义熙十三