查询词典 logical

This paper is that dynamically demonstrates the six algorithms implementation auxiliary teaching software of the data structure It may adapt the different demand that the reader demands the algorithm data-in and the process execution control mode. During the demonstration of the algorithm implementation on the computer screen, it can appear the change status of the data logical organization or the memory structure change condition or the stack change condition in the recursion algorithm implementation.

本论文是一个动态演示数据结构中六个算法执行过程的辅助教学软件，它可适应读者对算法的输入数据和过程执行的控制方式的不同需求，在计算机的屏幕上显示算法执行过程中，可以显现数据的逻辑结构或存储结构的变化状况或递归算法执行过程中栈的变化状况。

With a datagram interface, no logical connection needs to exist between peers for them to communicate.

使用数据报接口时，终端之间的通信并不需要存在逻辑上的连接。

The debater's argument failed of logical connection.

辩论者的论点缺少逻辑上的连贯性。

"I have studied the development of the last decennium and believe this is a logical development where I have tried to create shapes where controlled sculptural surfaces meets dynamic graphical break-ups", says Daniel Paulin , CEO and Creative Director of Paulin Motor Company.

"我学的发展上令人发指，并认为这是一个符合逻辑的发展，而我曾尝试创造形状如控制雕塑表面会见动态图形碎裂"，丹尼尔说，在会上，总裁兼创意总监在会上汽车公司。

Section 6.2 decidability of logical theories Section 6.2

其余未列出的部分要求深入掌握（能作题目或作难题，通过考试

All of the knowledge in CYC is represented declaratively in the form of logical assertions.

CYC中所有的知识都以逻辑声明的形式表示。

Declaratively packaging activities into the service enables us to consume our service by business logical model in the business-to-business fashion.

服务性声明的方式包装活动，使我们能够在商业消费的服务的商业逻辑模型对企业的方式。

Knowledge in CYC is represented declaratively in the form of logical assertions. CYC contains+ over 400; 000 significant assertions [45], which include simple statements of fact, rules about+ what conclusions to draw if certain statements of fact are satisfied, and rules about how

CYC包含400，000多个关键声明，这其中包含对事实的简单陈述，关于满足特定事实陈述时得出何种结论的规则，以及关于通过一定类型的事实和规则如何推理的标准。

On the second part, we investigate a decomposition formula of spectrum of a class of m-valued logical functions.

第二部分研究环上逻辑函数的谱分解式及其在多维广义Bent函数构造中的应用。

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。