计算理论 - The mini wiki

拉蒙·柳利，其名于法语中的异体译作雷蒙·吕尔，加泰罗尼亚作家、逻辑学家、方济各第三会会士和神秘主义神学家。他创作了加泰罗尼亚文学第一部重要作品，促进了加泰罗尼亚语的发展。其手稿显示他在投票制度有着超前的研究成果。他还被认为是计算理论的先驱，影响了戈特弗里德·莱布尼茨等人。

形式科学是指主要研究对象为抽象形态的科学，如逻辑、数学、计算理论、信息论、统计学、经济学等。

在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。

递回在电脑科学中是指一种通过重复将问题分解为同类的子问题而解决问题的方法。递回式方法可以被用于解决很多的电脑科学问题，因此它是电脑科学中十分重要的一个概念。绝大多数程式语言支援函式的自呼叫，在这些语言中函式可以通过呼叫自身来进行递回。计算理论可以证明递回的作用可以完全取代循环，因此有很多在函数程式语言中用递归来取代循环的例子。

在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。

杰弗瑞·大卫·乌尔曼是美国一位计算机科学家，斯坦福大学名誉教授。他编写的编译器教材、计算理论、数据结构、数据库教材，被认为是所在领域的标准。他与长期合作伙伴阿尔佛雷德·艾侯共同获得2020年图灵奖，该奖项公认为是计算机科学领域的最高荣誉。

抽象机器，又称抽象电脑，利用自动机理论，建立出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性，或是分析算法的复杂度。

理论计算机科学是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在电脑科学的研究者里自成一派。