词条

计算理论

计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题：

采用什么计算模型（即形式语言、自动机）
解决哪些是能计算的、哪些是不能计算的（即可计算性理论及算法）
要用多少时间、要用多少存储（即计算复杂性理论）

这三方面的问题可以用一个问题来总括：“电脑的基础能力及限制到什么程度？”

计算理论的“计算”并非指纯粹的算术运算（Calculation），而是指从已知的输入通过算法来获取一个问题的答案（Computation），因此，计算理论属于计算机科学和数学。

为了对计算进行严谨的研究，计算机科学家会将计算以数学的方式抽象化，称为计算模型。有几种目前在使用的计算模型，其中最出名的是图灵机。计算机科学家研究图灵机的原因是它很容易叙述，可以分析，用来证明结果，而且用此模式呈现了许多强而有力的计算模型（引...

计算理论相关文献

计算

字源计算的英文Calculation，字源来自古希腊语：Κάχληκα，意为碎石，用来计算数目用的小石头，它译为拉丁语：Calculus，之后成为英语：Calculation。在英文中，还有另一个字Computation，也被译为计算。这两个字在中古时代被分开。参见算盘电子计算器数学

查看全文

理论计算机科学

定义和范围根据Elesevier出版社《理论计算机科学杂志》（TheoreticalComputerScience）的解释，理论计算机科学有着数学和抽象的本质，但动机来自实践中和日常的计算问题。它旨在理解计算的本质，并根据这种理解提供更有效率的方法。精确地限制定义理论计算机科学的范围并非易事；根据计算机协会(ACM)算法与计算理论兴趣组（SIGACT）的表述：“理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。”计算机协会（ACM）《计算理论学报》（TransactionsonComputationTheory）又为以上的列表添加了：编码理论，计算学习理论，以及与数据库、信息获取、经济学模...

查看全文

计算复杂性理论

简介计算复杂性理论所研究的资源中最常见的是时间（要通过多少步演算才能解决问题）和空间（在解决问题时需要多少内存）。其他资源亦可考虑，例如在并行计算中，需要多少并行处理器才能解决问题。时间复杂度是指在计算机科学与工程领域完成一个算法所需要的时间，是衡量一个算法优劣的重要参数。时间复杂度越小，说明该算法效率越高，则该算法越有价值。空间复杂度是指计算机科学领域完成一个算法所需要占用的存储空间，一般是输入参数的函数。它是算法优劣的重要度量指标，一般来说，空间复杂度越小，算法越好。我们假设有一个图灵机来解决某一类语言的某一问题，设有X个字（word）属于这个问题，把X放入这个图灵机的输入端，这个图灵机为解决此问题所需要的工作带格子数总和称为空间。复杂度理论和可计算性理论不同，可计算性理论的重心在于问题能否解决，不管需要多少资源。而复杂性理论作为计算理论的分支，某种程度上被认为和算法理论是一种“矛”与...

查看全文

计算理论

历史计算理论早在所有计算机发明之前便开始了，当时是使用数理逻辑，在20世纪此理论和数学分离，成为一个独立的学科。计算理论早期的重要贡献者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。参见计算复杂性理论可计算性理论图灵机最优化问题

查看全文

计算员

参考文献Grier,DavidAlan,TheHumanComputerandtheBirthoftheInformationAge,JosephHenryLecture,PhilosophicalSocietyofWashington,May11,2001.Grier,DavidAlan,WhenComputersWereHuman,PrincetonUniversityPress,2005.ISBN0-691-09157-9.

查看全文

计算理论相关标签

计算理论

家族谱大览

河南西华理氏族谱 : 元圣裔理氏数码族谱

原书: [出版地不详] : 理氏联谊会族谱编纂委员会, 2014年. 1册(约439页) : 彩色插图, 世系表, 肖像. 注 : 理氏由姬姓,东野复姓及李姓演变而来. 最初来自官职, 理官. 因商纣王时,理姓家族面临灭族之灾,因以改姓. 其后子孙有李姓,亦有改回理姓之族人. 东野氏始祖 : 伯禽. 姓姬,亦称禽父. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 理氏辈份字 : 应维勤效习学乐平端身安道敏业成功豪志德耀尊凯禄颂. 东野氏字辈 : 枝兴衍崇绪隆茂庆传长广生忠厚嗣永远贞正方至德开宏运达孝毓福祥礼教培家训信义作宝章. 散居地 : 河南省西华县等地. 书名据书衣题编目. 版心题 : 西华理氏数码族谱.

理氏族谱(全集上下卷)

原书: [出版地不详] : 理氏族谱编辑委员会, 2007年. 合1册 : 彩色插图, 世系表, 肖像. 注 : 此谱页数及派系众多繁杂,详请查阅影像号第3页目录表. 理姓的最初来源是官职,理官. 后因商纣王时,理姓家族面临灭族之灾,因以改姓. 后代子孙有李姓,也有改回理姓之族人. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 字派(19-42世) : 应为勤效习学乐平端身安道敏业成功豪志德耀尊凯禄颂. 散居地 : 河南省西华县等地. 书名据书衣题编目.

理氏族谱, 1, 1369-2006