计算理论

✍ dations ◷ 2025-12-01 19:56:32 #计算理论

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

相关

快中子中子温度，亦称中子能量，指的是自由中子的动能，单位通常是电子伏特。由于中子经过不同温度的减速剂会有不同的速度分布，一般可以使用温度来衡量中子的动能。中子的能量分布基本上
ST节段ST节段（ST segment）为心电图学术语，表示QRS复合波（英语：QRS complex）至T波之间的间期，一般介于 0.005 至 0.150 秒之间（5 至 150 毫秒）。ST节段始于J点（英语：J-point）（即QRS复合波的终点），
急症护理重症医学（Intensive care medicine ）是医学中的一个分支，诊断及管理会危及生命的疾病或是情形，会需要器官支持（英语：Organ support）及侵入性监测设备。在重症监护室中常见的设备有
心理声学心理声学（Psychoacoustics）是研究人对声音感知的学科，即研究人对声音（包括言语和音乐）的生理和心理反应的科学，是心理物理学的分支学科。听觉不完全是波的力学现象。声音是一种机
乙酰苯胺乙酰苯胺，又名N- Phenylacetamide、Acetanilide，或商标名称Antifebrin，是一种白色有光泽片状结晶或叶片或鳞片状的固体化学品。乙酰苯胺可以透过醋酸酐和苯胺或苯基苯胺氯化物
艾伦·J·巴德艾伦·约瑟夫·巴德（英语：Allen Joseph Bard，1933年12月18日－），美国化学家，同时是德克萨斯州大学奥斯汀分校哈克曼-威尔许董事讲座教授与化学系电化学中心主任。巴德在扫描电化学显
让-弗朗索瓦·利奥塔让-弗朗索瓦·利奥塔（法语：Jean-François Lyotard，1924－1998）是法国哲学家、社会学家和文学理论家。他的跨学科著述涵盖了认识论和传播学、人体、现代艺术和后现代艺术、文学和
热带雨林气候热带雨林气候，又称热带型雨林气候，全年高温多雨，可分为两种子类型：常年受赤道低压带控制的赤道多雨气候和常年受潮湿信风控制的热带海洋性气候，在对应的柯本气候分类法中代号为“
科麦罗沃州科麦罗州（俄语：Ке́меровская о́бласть，罗马化：Kemerovskaya oblast），位于西伯利亚南部西西伯利亚平原与南西伯利亚山区的交接点，是俄罗斯联邦主体之一。面积95
电解液电解质（英语：electrolyte）是指在水溶液或熔融状态可以产生自由离子而导电的化合物。通常指在溶液中导电的物质，而固态可导电的物质不算电解质。这包括大多数可溶性盐、酸和碱。