1) Hoare Axiomatic system
Hoare公理系统
2) 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.
本文阐述了公理信息论的产生 ,并且给出公理信息论的公理系
3) 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.
讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要
4) axiomatic system ∑
公理系统∑
1.
The paper presents a model of the axiomatic system ∑ in the particle geometry in the ordinary space.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。
5) the ZF system of axioms
ZF公理系统
1.
In this paper, the author explains the past and present researches on this problem and introduces in simple terms some concerning problems: the ZF system of axioms, the axiom of choice and so on.
本文深入浅出地阐述了这一问题的研究历史和现状 ,同时简要介绍了与之有关的ZF公理系统、选择公理等问题 ,指出了这些问题在数学基础研究方面的重大意
6) Peano's axiom system
Peano公理系统
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条