大家在查：乃文 presidencies LTR 满城 profound change Liu Bang provincial place fete mitochondrion win presidency

形式逻辑

na.formal logic
网络Formal Logics; modal logic; symbolic logic

形式逻辑

英-汉网络释义

形式逻辑

formal logic

形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必 …

Formal Logics

成绩单课程翻译参考总表 ... 信息系统设计 Information System Design 形式逻辑 Formal Logics 行政法 Administrative Law ...

modal logic

... and extention）的区分，大致上勾画了形式逻辑（modal logic）的框架。

symbolic logic

如亚里士多德的三段论或后来的形式逻辑(symbolic logic)等即是。广义的逻辑是指人类理性的思维形式。

Form Logical

上海嘉兴南湖金融区项目概念规划设计... ... 3.3 理念生成 Idea Origin 3.4 形式逻辑 Form Logical 3.5 总平面图 Master Plan ...

formalized logic

大家帮我看看这些翻译都对吗,... ... 7.形式逻辑: formalized logic 8.马上进入角色: play a role in a new environment quickly ...

forlorn hope

hope的用法,例句 - 英汉翻译 - 新浪字典 ... hope theory 期望理论 forlorn hope 形式逻辑 athread of hope 一线希望 ...

Aussagenlogik

形式 - Deutsch-Übersetzung - bab.la... ... 曲调形式 Binnenhafen 形式逻辑 Aussagenlogik 形式确定的 formschlüssig ...

例句：

The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic .

之所以称其为 “必要条件 ”，是因为 “必要条件 ”可能只存在于形式逻辑中。

As like as the western logic, especially like the Aristotles logic, the Tibetan logic also has its concept and category of relationship .

与形式逻辑一样藏传因明也有自己的 “关系 ”概念和 “关系 ”范畴。

Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics .

这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。

In this article, the point of combining formal logic with natural language is proposed .

本文提出形式逻辑要与自然语言相结合的观点。

The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called ) which has been discussed above .

在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。

In terms of formal logic, the problems are the same .

这两个问题在形式逻辑上其实是同一个问题。

a graphical representation of a program using formal logic .

应用形式逻辑来图示一个程序。

The validity -obey thesis declares that, in the context of modernity , legitimacy of law equals the formal validity of law .

“有效 —遵守 ”命题主张在现代性的语境中，法之合法性乃是等同于法律的形式逻辑有效性。

"Informal logic " relies on logic , no matter how it emphasizes or deals with the so called "informal" .

“非形式逻辑 ”无论怎样在 “非 ”字上做文章，毕竟还要依赖于逻辑。

Non- word mark aspect , explain the aspect of structural style, expression form and logic relation .

非词标记方面，从结构形式、语气形式、逻辑关系三方面予以说解。

Formal logicians are not concerned with existential matters which are precisely what artists are concerned with.

形式逻辑学家并不关心存在的事物，而艺术家所关心的则正是这些东西。

Formal logic is applied to proving correctness properties of programs in Chapter 8.

第八章介绍应用应用推理等价形式逻辑证明程序正确性。

The central conception of Informal Logic or Logic of Argument : "Argument "

非形式逻辑的核心概念：“论证 ”

This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language .

这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。

However, the "find-difference " regarded that the Chinese logic could not be equal to the western formal logic .

“取异 ”则认为中国古代的逻辑思想不等同于西方的形式逻辑。

The dialogues of Plato are a good example of informal logic .

柏拉图的对话是一个很好的例子，非形式逻辑。

Using the supplemental BAN logic, a process of formal analyse of this scheme protocol .

并用 BAN 形式逻辑上验证了该方案的完备性。

The study of this formal logic undoubtedly has its uses.

对这种形式逻辑的研究，无疑是有用的。

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

Informal logic is the study of natural language arguments .

非形式逻辑是研究自然语言的论点。

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编形式逻辑正确性逻辑程。

New theory of logics was put forward in this paper .

本文提出新的逻辑原理，把辩证逻辑与形式逻辑相融合。

形式逻辑

形式逻辑

formal logic

Formal Logics

modal logic

symbolic logic

Form Logical

formalized logic

forlorn hope

Aussagenlogik

热词推荐

大家在看