查询词典 computability
- 与 computability 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
-
In general, questions of what can be computed by various machines are investigated in computability theory.
一般而言,计算性理论研究的问题是:什么是能够被各种机器计算的问题。
-
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.
它是可计算性的形式理论,正如经典逻辑是真理的形式理论。
-
This includes computability theory , computational complexity theory , and information theory .
这包括可计算性理论,计算复杂性理论,信息理论。
-
They will cover a variety of topics, for example, computability and relative computability results for different k inds of objects and services, in the presence of various numbers of failures.
它将包括不同的主题。例如,可运算度和针对不同物件及服务相关联的可运算度结果,在不同次数之失败当中的呈现。
-
Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.
可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一,人们很自然地会问,从可计算性得出的是什么逻辑,这就是报告人新近提出的可计算性逻辑。
-
This is an graduate introduction to Programming Theory, Logic of Programming, and Computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.
这是一篇介绍研究程序理论、程序和运算逻辑,关于电脑程序语言惯于用的明确性的运算结构,就像自学对象。
-
844 Is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.
6.844是一份研究介绍程序理论、程序逻辑和运算逻辑,程序语言计划可以明确性的表达运算结构,也成为了学生学习程序语言计划的目标。
-
Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
包括的领域包括: provability的逻辑,对生物学,心理学,物理学,化学,经济学和其他基础科学的computability 理论的应用; computability 理论和可计算的模型;逻辑学和空间时间几何学;混合法;逻辑和基于地区的空间的理论。
- 推荐网络例句
-
They go to town. Would you just ask them?
他们在城里你能问他们吗?
-
Ossein pretreated for a2 weeks period exhibited the maximum% yield incase of bone gelatin, while the yield from intact skin was higher than that realized incase of de-scaled skin.
预处理时间达2星期的骨胶原表现出最高的骨明胶百分产量,然而从未处理鱼皮中得到的产率比去鳞的鱼皮得到的要高。
-
Add in realistic voice acting, and you're about to get emotionally attached toa whole platoon of charactersEvery object on the battlefield is destructible - and once it's destroyed, it stays destroyedIn addition to the rich 1-player storyline, Pathway to Glory features the kind of multiplayer options that N-Gage was made for: go against another player using the same game deck with the Hot Seat option, or connect via Bluetooth technology and go head-to-head.
在现实的声音演戏方面增加,而且你正要拿个性的整个排给在情绪上附上的 toa在战场上的每个物体是可破坏的-而且一经资讯科技被破坏,它停留破坏发现你站着哪里:钮扣的推给你一个概览,如此你能很快地恢复一种不稳定的情形控制除了富有的 1个运动员的剧情之外,通往光荣的道路以可多人玩的选项类型为特色 N-规格被有益:去对抗和困境选项一起使用相同的游戏甲板的另外一个运动员,否则经由 Bluetooth 技术连接而且去头-到-头。