查询词典 logic

In combining with the deterministic propositional dynamic logic, the composable problem of the goal service is determined.

通过使用有限状态自动机，服务组成的社区中的状态和操作可以使用有限状态自动机来模拟，这样可以表示服务操作的内部和外部概要。

Finally, we explore the problem of compositional specification and verification in temporal logic.

最后，本文对时序逻辑的可复合规范及验证问题进行了探讨。

Its function is to provide from RFID middleware to Enterprize application with RFID event, and compound RFID event according to concrete business logic.

本文中，首先讲述了RFID应用集成技术的当前研究背景和研究现状，以及本论文的研究目标，意义和内容。

The logic inversion of rock compressibility has been overcome by a new measurement method.

岩石压缩系数的逻辑反转现象，已通过新的实验方法加以克服。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

Computability is certainly 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 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是一份研究介绍程序理论、程序逻辑和运算逻辑，程序语言计划可以明确性的表达运算结构，也成为了学生学习程序语言计划的目标。

Computability logic - the subject of the present course - is an approach recently introduced by him.

这是第一次对中国进行学术访问。办公时间：上课前后一个小时，或者预约。

And without computable models, the logic and ontology cannot be implemented in computer programs.

第五章说明了目标和语境是如何影响知识的表示。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。