查询词典 symbolic logic

As a kind of method based on symbolic logic, Formal method has gained more and more attention because of its preciseness. It has been applied broadly in systems in which the security and reliability are the key issues. For example, protocol security analysis, operating system security model, software development.

作为一种以数学逻辑为基础的方法，形式化方法以其严密性越来越受到众多领域的重视，尤其是在安全性和可靠性作为关键问题的系统，如协议安全性分析、操作系统安全模型、软件开发等方面得到了较为广泛的应用。

A person skilled at symbolic logic.

熟练于逻辑符号的人。

The cores of intelligent principle and system are search algorithms based on symbolic logic, knowledge representation, reasoning and planning, the structure and model, the techniques and methods of intelligent agent.

核心是基于符号逻辑的搜索算法，知识表示，推理及其规划，智能体的结构、模型及系统设计。

Towards the end, Dodgson focused on symbolic logic.

虽然他的工作充满了具有独创性的、奇妙的例子，但是在今天看来，这早已过时了。

What's more, the inter-penetrating among linguistic disciplines has produced new disciplines, which are difficult to research without some kinds of linguistic and logical foundation,such as arithmetic language, symbolic logic and artificial intelligence.

清晰的思维的。如果没有一定的语言基础，就会直接影响到自然科学的学习。更何况语言科

Because of that it is set as the intrinsic "gene" of design, the complex, energizing, and the organic form or space are to be created through the definition of the creating symbolic logic relationship.

通过设定生成性的数理关系，将其作为设计的内在"基因"。从而产生出复杂、动感、有机的形式和空间。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

The video features of the new-century fiction are derived from the symbolic logic which simulacra abide by. This abolishes the difference between the appearance of the text and the outside world.

新世纪小说的影像化特征形成于它所遵循的仿像之所以构成的符号逻辑，这取消了文字文本与外部世界之间的外观差异。

This paper refreshes the psychoanalytical theory about Mother and Woman, it briefly introduces the exposition of Freud about femininity and Lacans symbolic logic of sexuation, it approves that the opinion of Huodatong both about feminizing and his formula of personality development were the summary of psychoanalytical theories in the last hundred years and the result of effort of psychoanalysis localization, Mother-Daughter complex is a generalization about facts within this bounds.

文章梳理了关于母亲和女人的精神分析理论，简单介绍了弗洛伊德关于女性气质的阐述和拉康关于性身份定位的符号逻辑，认为霍大同先生关于女性形成的看法和关于人格形成的公式是对百年来精神分析理论史的总结和精神分析中国化的努力的结果，母女情结正是在这个框架下对现实材料的一个概括。

Towards the end, Dodgson focused on symbolic logic.

后来，Dodgson又专注于数理逻辑。

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.

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