计算理论

✍ dations ◷ 2024-07-05 13:46:47 #计算理论

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

相关

孕吐孕吐（morning sickness），俗称害喜，中医称为恶阻，也称为在孕期时呕吐（nausea and vomiting of pregnancy, NVP）。系指怀孕期间的症状，包含恶心或呕吐。虽然英文直译为晨间不适，恶心或
仿宋体陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
笑气一氧化二氮或氧化亚氮（英语：Nitrous oxide），无色有甜味气体，又称笑气，是一种氧化剂，化学式N2O，在一定条件下能支持燃烧，但在室温下稳定，有轻微麻醉作用，其麻醉作用于1799年由英国化学家
古英文古英语（古英语：Ænglisc，英语：Old English）或盎格鲁-撒克逊语（英语：Anglo-Saxon）是指从449年到1066年间在对应于今天英格兰和苏格兰东南部的人说的英语。古英语属于西日耳曼语，和古弗
发炎性疾病炎症反应、炎性反应，俗称炎症，是指具有血管系统的活体组织对致炎因子及局部损伤所发生的防御性为主的反应，中心环节是血管反应，是生物组织受到外伤、出血或病原感染等刺激，激发的
里里是东亚传统的长度单位，起源于中国周代，当时一里为18引=1800尺，战国、秦汉一里约415.8米，后世实际长度历代不同，传到日本、朝鲜半岛、越南后也有变化；至近代于华语圈也称作华里以
英吉利海峡坐标：50°11′01″N 0°31′52″W / 50.18361°N 0.53111°W / 50.18361; -0.53111英吉利海峡，又名拉芒什海峡（英语：English Channel；法语：la Manche；布列塔尼语：Mor Breizh；威尔士语
安德鲁·杰克逊安德鲁·杰克逊（英语：Andrew Jackson，1767年3月15日－1845年6月8日），美国军人、政治人物，第7任美国总统、首任佛罗里达州州长、纽奥良之役战争英雄、官拜少将，并为民主党创建者之一，在
440110　数学 120　信息科学与系统科学 130　力学 140　物理学 150　化学 160　天文学 170　地球科学 180　生物学210　农学 220　林学 230　畜牧、兽医科学 240　水产学310　
佛经佛经翻译指的是将佛经从梵语或其它西域语言翻译成汉语的程序。亦中国翻译史上的一件大事，所翻译出的佛经对中华文明产生巨大影响及贡献。佛经翻译事业开始于东汉，至前秦苻坚开