计算理论

✍ dations ◷ 2025-11-29 02:03:51 #计算理论

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

相关

牛瘟病毒牛瘟病毒（德语：Rinderpest，英语：cattle plague或steppe murrain），是一种具感染性的牛只病毒，会引起牛瘟。这种病毒性疾病主要传染于水牛之间，但其他野生品种也有致病的记录。牛瘟与
布兰登·艾克布兰登·艾克（英语：Brendan Eich，1961年7月4日－），美国程序技术专家与企业家，JavaScript主要创造者与架构师，曾任Mozilla公司的首席技术官，并曾短暂担任首席执行官。布兰登·艾克生于
湿化学湿化学一般是指是液态下进行的化学，在理论化学及计算化学问世之前，大部分化学领域的发现都是以湿化学为主，因此也称为古典化学。传统上湿化学会使用实验室的一些玻璃器材，例如烧
彼得·曼斯菲尔德彼得·曼斯菲尔德爵士，FRS（英语：Sir Peter Mansfield，1933年10月9日－2017年2月8日），英国物理学家，皇家学会院士，诺汀罕大学教授。由于在核磁共振成像的研究，他与美国科学家保罗·劳特
汪灏汪灏可能指下列人物：
海洋分枝杆菌海洋分枝杆菌（学名Mycobacterium marinum）是一种存在于海水和淡水中的细菌，属分枝杆菌类，与结核杆菌同属。在28-32℃水温最为活跃，超过37℃则较难生存。所以，一旦入侵人体，只会在人
生命游戏康威生命游戏（英语：Conway's Game of Life），又称康威生命棋，是英国数学家约翰·何顿·康威在1970年发明的细胞自动机。它最初于1970年10月在《科学美国人》杂志上马丁·葛登能的
约翰约翰（英文：John，1166年12月24日－1216年10月19日），英格兰国王，由1199年到1216年在位。亨利二世第五子，母亲为阿基坦的埃莉诺，而幼王亨利、狮心王理查、布列塔尼公爵若弗鲁瓦二世则是约
鲁道夫·穆斯堡尔鲁道夫·穆斯堡尔（德语：Rudolf Mössbauer，1929年1月31日－2011年9月14日），德国物理学家，穆斯堡尔效应（伽马射线的无反冲共振吸收现象）的发现者，1961年获得诺贝尔物理学奖。1929年1月31
Nasub2/subCsub2/subOsub4/sub草酸钠（Na2C2O4）为草酸的钠盐，是一种还原剂，也常作为双齿配体。中和后以大量清水稀释排放氧化还原滴定时可作为标定高锰酸钾溶液的基准物质。可移除Ca2+，可用于验硬水或生物学上