1) Quasi axiomatic system
准公理化系统
3) standard proposition calculations system axioms
标准命题演算系统公理
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.
在通常的直观空间中给出平面质点几何学公理系统∑的一个模型。
补充资料：范畴公理系统
范畴公理系统
categoric system of axioms
的另一个范畴刻画方法是对艺，「增补(语言红中的)下列无限公理: Vx(、二OV二丫工二nV一).其巾。是八个1的和l十一l的缩写范畴公理系统【以扭g面c system证a劝咖s;Kalelop。-叨“a妞c“cTeMa aKc“oM} 任一公理系统艺，艺的表征的所有满足这些公理的模型彼此同构.由Mai’tsev一王Lrskl初等扩充定理，范畴一阶公理系统艺的模型其基数有限.这个定理的逆定理也成立:丈于任一有限模型一」，存在一个范畴一阶公理系统艺，使招艺的模型都同构于A设艺、是下列公式的全称闭包构成的集合: 1)()笋丫+l 2)丫十l=v卜1，工=夕; 3)丫十一0二工， 4)丫十硬厂十}含二‘x十未夕)十}; 5)丫·O二(: 6)尤·协，一十日二义·r十叉孟 7)(毋(0)%26甲叉(例工)书例丫十l)))一丫x甲(川，其中毋你)是表价为<十，·，0，!洛的任一公式. 这个公理系统艺。称为P~)纂水(P~，ant俪-tlc).自然数的模型N一
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条