查询词典 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 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

It goes back to what I told you...

现在回到我告诉过你的。。。

With a supporter in Mr Charest and an admirer in Mr Dumont, Mr Harper may be encouraged to call an election himself.

由于在沙雷那边有个支持者，杜蒙那边有个崇拜者，鼓励哈珀为自己举行一次选举。