axiomatization
英
美
网络 公理化; 公理原则; 理化
双语例句
- These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。 - Research of using the axiomatization viewpoint to guide the teaching of plane geometry in the middle school
用公理化系统观点指导中学平面几何的教学与研究 - Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。 - Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证 - Therefore no formal system is a true axiomatization of full number theory.
因此，没有正式的系统是一个真正的公理化充分一些理论。 - A Consistency Axiomatization of Coalition-proof Correlated Equilibria ( Continuation)
防结盟相关平衡的一致性公理化（续篇）（英文） - Axiomatization of economic theory has many obvious advantage.
经济理论的公理化有很多明显的优越性。 - It describes the uniformity of two logic on the basis of rough set axiomatization. And we have various similar deductive models of rough logic to modal logic according to different properties of relation R.
阐述了这两种逻辑能在Rough集公理化基础上被统一起来，并且随着不同性质的关系R，能得到与模态逻辑相平行的各种Rough逻辑模型。 - Thought About the Axiomatization of Empirical Sciences
对经验科学公理化的思考 - The author stresses the two thought approaches between ancient math mechanization and western axiomatization, and their leading and alternative role in the stages of math development in the world.
特别论述了中国古代传统数学的机械化思想方法与西方的公理化思想方法在整个世界数学发展的不同阶段中交替起着主导作用，不可偏废。 - The Axiomatization of Generalized Rough Set
广义粗集的公理化 - Then, on the basis of axiomatizations of Shannon entropy and Shapley value, an axiomatization of Shapley entropy was given.
然后，利用Shannon熵和Shapley值的公理刻画给出了Shapley熵的公理刻画。 - On the Advantage and Limitation of Economic Axiomatization
论经济学公理化的优越性和局限性 - Axiomatization for Multivalued Logic
多值逻辑的公理化 - In order to eliminate the limitation of the Shannon entropy, the axiom system for the Shannon entropy was modified, and an information measure system with the axiomatization method was deduced.
为克服Shannon熵的局限性，修改了Shannon熵的公理，用公理化的方法，推导出具有有限分布列的离散型随机变量的信息量系。 - The Axiomatization of the Rough Set
粗集的公理化 - The Axiomatization Definition of the Pseudo Measure of Fuzziness and the Pseudo Measure of Fuzziness of a Cosine Function
伪模糊度的公理化定义及余弦函数伪模糊度 - Meta Model of Concurrent Computation ⅳ. Axiomatization
并发计算的元模型Ⅳ.公理化 - On the existence of finite complete axiomatization for transitive closure and functional dependencies
关于传递闭包和函数依赖完备公理系统存在问题研究 - Axiomatization, Constructivism and Mathematics Teaching
公理化建构主义与数学教学 - Axiomatization has been broadly adopted as a standard format of economic analysis.
公理化作为经济分析的标准形式被广泛采用。 - Discussed the axiomatization of the vector space deeply.
深入论述了向量空间的公理化。 - Based on the continuum model of saturated soils and the axiomatization methods in classic continuum mechanics, a mathematical framework of continuum consolidation theory ( CCT) taking into account of variable-mass effect during consolidation process is presented in this paper.
在饱和土连续介质模型的基础上，考虑了土体固结过程中的变质量效应，基于连续介质力学公理化方法，较严格地建立了饱和土连续介质固结理论的基本框架。 - The process of axiomatization of vector theory is also studied.
另外还简单介绍了向量的公理化过程。