大家在查：概率逻辑模态逻辑支持度休谟问题性知识二象性条件句大连海洋大学技术政策上海海事大学

公理系统

n.axiomatics
网络axiomatic system; Axiom System; Armstrong axiomatic Arms-trong

公理系统

英-汉网络释义

公理系统

axiomatic system

数学专用词汇英文表示_百度文库 ... axiomatic set theory：公理集合论； axiomatic system： 公理系统； B Baire space：贝 …

axiomatics

第十天 ... impetus 动力；促进；冲力 axiomatics 公理系统；公理学 complex number 复变数 ...

Axiom System

...tural Deduction System)和「公理系统」(Axiom System)两种，本小节介绍「自然演绎系统」。

Armstrong axiomatic Arms-trong

axiomatic... ... axiomatic set theory 公理集合 Armstrong axiomatic Arms-trong 【计】 公理系统 axiomatic basis 【计】公理基 …

system of axioms

数学词汇英语翻译(S-Z) ... system 系 system of axioms 公理系统 system of axioms of real numbers 实数的公理系统 ...

例句：

In addition , a formal proof of thesoundness and relative completeness of the system with respect to an operational model of MSVL is given .

另外，基于 MSVL 语言的操作语义，我们证明了该公理系统的可靠性和相对完备性。

Equilibrium is the product of an axiomatic system .

均衡概念是一个公理系统的产物。

Two groups of axioms in the natural axiom system of probability theory are set up .

建立《概率论自然公理系统》中的第组和第组公理。

Fourthly, my paper proposes a new axiom system , which is made from forty axioms and two rules.

第四，本文提出了新的认证逻辑公理系统。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

It is proved that weak MV- algebras and IMTL- algebras are equivalent , and the IMTL axiom system is simplified from 11 items to 8 items.

证明瞭弱 MV-代数与 IMTL 代数是等价的代数结构；把 IMTL 公理系统的 11 条公理简化为 8 条。

Axiom Systems for the Automorphism Group of an Antimatroid and its Properties

反拟阵自同构群的公理系统及其性质

The Deductive Axiomatics of Theory of Evolution and Self-Organization Theory

进化论演绎公理系统与自组织理论

A New Axiom System Can Eliminate the Difficulty of the Theory of Relativity

一种可以消除相对论困难的公理系统

Description of a Mode and Axion System in Teaching World

描述教学世界的一个模态公理系统

The simplification of axiomatical systems of lattice topology

格化拓扑公理系统的简化

Research on Axiom-based Object-Oriented Software Automatic Testing

基于公理系统的面向对象自动测试研究

The Axiomatic Systems of Rough Fuzzy Sets on Fuzzy Approximation Spaces

模糊近似空间上的粗糙模糊集的公理系统

The Independence of Several Axioms in Euclidean System

欧几里德公理系统中几个公理的独立性

On Axiom Systems for Lattice Implication Algebras

关于格蕴含代数的公理系统

The research of attribute dependency and axiom system

关于主动数据库属性依赖及公理系统的研究

Completely independent system of axioms

完全独立公理系统

simplified axiom systems of r0 algebras and independence

0 代数公理系统的简化与独立性

Pansystems analysis of axiomatic system

公理系统的泛系分析

公理系统

公理系统

axiomatic system

axiomatics

Axiom System

Armstrong axiomatic Arms-trong

system of axioms

热词推荐

大家在看