1) L~*_0 axiom system
L*0公理系统
2) improved formal deductive system L * 0
改进形式演绎系统L*0
3) type 0 systems
0型系统
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.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。
补充资料：Hilbert公理系统
Hilbert公理系统
HBbert system of axioms
(Hilbert把平行公理归人第IV组，而把连续公理归人第V组). Euc加几何学的所有其他公理都可由Hilbert公理系统的基本概念来确定，而有关几何图形的性质和不包含在H社bert系统中的所有陈述，都必定可从这些公理或从由这些公理演绎的陈述逻辑地加以推断. 川比找公理系统是完全的;如果实数的算术是相容的，那么它也是相容的.如果在H习忱d系统中，平行公理由其否定来代替，那么由此而得的新的公理体系也是相容的(几。血”cBc双泛几何学的公理系统).这意味着在Hilbert系统中，平行公理独立于其他公理.也可以证实这个系统的一些别的公理独立于其他公理. 附比找公理系统是E.由d几何学(EuCUdea们g创〕Ine-txy)的第一个完全严谨的基础.【补注】在公理11;中，点B也称作线段AC的一个内点(记着这一点，就可以读Paseh公理). 又，Hilben最初使用不同的连续公理:AI℃him改比公理和他自己的一个完全性公理.H训即找公理系统【H口卜时积拍nof一;r。月‘6epTac.cTeMaa“c.oM」，EuClid几何学的 由F山比n于18卯年提出，随后由他修改而使之更清晰的一个公理系统(【11). 在Hnbert公理系统中，初始(未定义的)概念是点、直线、平面、以及它们之间用“属于”、“之间”和 “合同”等词表示的关系，初始对象的性质和对象之间的关系是任意的，只要这些对象和关系满足所列出的公理. Hilbert系统包含20条公理，分为五组. 第工组由八条关联公理组成，描述关系“属于”. I二对于任何两点，存在通过它们的一条直线. 工:.仅存在一条直线通过任何不同的两点. 工3.在任一直线上至少有两点.至少存在三点不在同一直线上. 工。.对于不在同一直线上的任何三点，存在一平面通过它们.在任一给定的平面上至少有一点. 15.对于不在同一直线上的任何三点，仅存在一个平面通过它们. 工。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条