数学上,一个公理系统(或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以用来一起逻辑的导出定理。
即:如果a=b,b=c,那么a=c。 公理 - 公理系统 在 数学上,一个公理系统(axiomatic system,或称公理化系统,公理体系,公理化体系)是一个公理的集合,从这些公理可以逻辑地导出所有的 定理。
基于2514个网页-相关网页
... 非形式公理学 informal axiomatics 相关公理学 dependence axiomatics 公理系统,公理学 axiomatics ...
基于320个网页-相关网页
... system 系 system of axioms 公理系统 system of axioms of real numbers 实数的公理系统 ...
基于62个网页-相关网页
基于本体的茶虫害诊断系统构建的研究 关键词:本体;领域本体;茶虫害;分类法;公理系统 [gap=964]Key words:Ontology;Domain ontology;Tea pest;Classification method;Axiom system
基于50个网页-相关网页
In this paper, the authors disscuss a sort of template dependency having available and complete axiom system under null value circumstances.
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖,给出了模板依赖的强、弱保持条件。
参考来源 - 空值环境下模板依赖(NTD)的研究 in CHe quoted the mobility concept in his abstruse axiom system and improved the non-Euclidean geometries into a mature mathematical science with mathematical experiment (thought experiment)and rich imaginability.
赫氏将运动概念作为基本的概念引入了深奥的公理系统,用合理的数学实验(思想实验)以及丰富的想象能力发展了非欧几何,使之成为一门成熟的数学学科。
参考来源 - 赫尔姆霍茨的数学哲学思想研究·2,447,543篇论文数据,部分数据来源于NoteExpress
给出的格蕴含代数的公理系统,并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
最后通过这组公理系统来评估现有的逻辑覆盖测试准则。
Finally, the common logic coverage criteria are assessed against the axioms system.
给出模糊空值连接依赖的公理系统,并且进行了有效性证明。
The axiom of fuzzy null value join dependency is introduced and its availability is proved.
应用推荐