... 公理的 axiomatical 公理化 axiomatization; axiomatize 公理会 (基督教新教主要派别之一) congregational church ...
基于2个网页-相关网页
axiomatization thought 公理化思想
economic axiomatization 经济学公理化
axiomatization evolution 公理化演进
method of axiomatization 公理化方法
axiomatization of rough sets 粗糙集的公理化
axiomatization and formalization 公理化和形式化
Quantum logics developed as a branch of mathematical science thataccompanies the mathematical axiomatization of quantum theory, which has more than80 years’history and rich contents.
量子逻辑是伴随着量子理论的数学公理化而发展起来的一门数学分支学科,具有八十多年的历史和丰富内容。
参考来源 - 量子逻辑中的收敛理论·2,447,543篇论文数据,部分数据来源于NoteExpress
Axiomatization of economic theory has many obvious advantage.
经济理论的公理化有很多明显的优越性。
Therefore no formal system is a true axiomatization of full number theory.
因此,没有正式的系统是一个真正的公理化充分一些理论。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
应用推荐