《可计算性》是1997年世界图书出版公司出版的图书,作者是Douglas S.Bridges。
书中提到四个麦当劳化最主要的元素:任何生活都讲求效率(Efficiency):以最少时间满足需求、可计算性(Calculability)、可断定性(Predictability)的单一标准化效果、控制(Control):尽量以标准机器代替人手,以达至标准化。
基于1032个网页-相关网页
可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种...
基于282个网页-相关网页
...=l∞当且仅当Q=001.从这条性质和双线性性质可以得到:如果P是Gl 的生成元,ea妒)是G2的生成元. (3)可计算性(Computable):对任意PQEG!
基于12个网页-相关网页
...可夫链的方程來 解决在过程的路径依赖情形下引入偶然性这个关于未來之开放性的问题,在 1930年代,可计算性(Berechenbarkeit)这个概念成为數学中最重要的问题之 一,Kurt Gödel、Alonzo Church、Stephen Kleene、Emil L.
基于1个网页-相关网页
这些研究增强了语言处理的可计算性。
All these researches improve the computability of the language processing.
它是可计算性的形式理论,正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
应用推荐