1) IMTL axiom system
IMTL公理系统
1.
Relation between weak MV-algebra and IMTL algebra and the simplification of IMTL axiom system;
弱MV-代数与IMTL代数的关系及IMTL公理系统的简化
3) Imt1
Imtl
1.
The plant expression vector with Imt1 (inositol O-methyltransferase) gene, pDH5, was constructed.
构建了肌醇甲基转移酶(Imtl)基因的植物表达载体pDH5。
4) axiom system
公理系统
1.
Relations between some axiom systems for matroids and the automorphism groups of a matroid;
拟阵的几个公理系统与其自同构群的关系
2.
Two groups of axioms in the natural axiom system of probability theory are set up.
建立《概率论自然公理系统》中的第 组和第 组公理。
3.
This paper sets forth the process of axiom information theory, and gives its axiom system.
本文阐述了公理信息论的产生 ,并且给出公理信息论的公理系
5) axiomatic system
公理系统
1.
Research on axiomatic systems of Pawlak rough sets;
Pawlak粗糙集的公理系统
2.
Using operator to model constraints,this paper researches such abstract operator logic,analyzes its syntax,semantics,axiomatic system,its natural deduction system and its normalized natural deduction system,provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统。
3.
The development of axiomatic approach,the characateristics of axiomatic system and its incompleteness,the use of axiomatic approach in Physics and its position in epistemology are discussed.
讨论了公理化方法的发展,公理系统的特点和公理系统的不完备性,公理化方法在物理学中的借鉴,及其在认识论中的地位,还讨论了公理化方法在物理学中应用的限度,及其在自然科学理论中的最基本要
6) axiomatic system ∑
公理系统∑
1.
The paper presents a model of the axiomatic system ∑ in the particle geometry in the ordinary space.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。
补充资料:公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条