查询词典 formal logic

Formal theories such as predicate logic provides us with a powerful tool to guarantee sound reasoning and thinking.

以前的理论比如谓项逻辑学提供了一种合理的推理和思考的工具。

For those of you who are familiar with formal and material logic, I apologize in advance for simplifying.

我想要讨论一些基本概念，使你能更好地思考这个问题，特别是那些诽谤者。

Science is rational since it follows formal rules of logic

科学是理性的，因为它沿着过去的逻辑规律前进。

Logic provides the formal structure and rules of inference.

本书第一章介绍了逻辑的历史发展过程。

A formal model of PASCAL process blueprint,graphical notations of abstract logic structure diagram, and a fundamental programming procedure...

文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。

He was a formidable polymath, doing important work in mathematics, physics, logic, the study of formal and natural languages, and many other disciplines.

他是一个强大的博学，做数学，物理学，逻辑学的重要工作，正式和自然语言的研究，以及许多其他学科。

Make a formal Description for agents living Environment by using predicate logic, and knowledge representation for agent.

3利用谓词逻辑对Agent的生存环境进行形式化描述，并对Agent进行知识表示。

Mathematical logic is the formal study of mathematical structures and systems; its subparts include proof theory and model theory.

数理逻辑是数学结构和系统的正式研究，其子部分包括证明理论和模型理论。

These two kinds of a priori knowledge are known by different intuitiveabilities:what formal intuition knows are axioms of mathematics and logic,whichis based on conceptual self-evidence;what the material intuition knows are theinnate ideas of metaphysics and ethics.

经验的认识是其不纯粹化和变形。

In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.

本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。

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.

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