公理化模型英文解释翻译、公理化模型的近义词、反义词、例句
英语翻译:
【计】 axiomatic model
分词翻译:
公理化的英语翻译:
【计】 axiomation; axiomatization; axiomatize
模型的英语翻译:
former; matrix; model; mould; pattern
【计】 Cook-Torrance model; GT model GT; MOD; model; mosel
【医】 cast; model; mold; mould; pattern; phantom
【经】 matrices; matrix; model; pattern
网络扩展解释
公理化模型
公理化模型(gōng lǐ huà mó xíng)是一种经典的数学建模方法。它是指将数学模型的基本定义和假设以明确的形式表示出来,并据此展开推理证明。
英语解释
The axiomatization model is a classical method of mathematical modeling. It refers to representing the basic definitions and assumptions of a mathematical model in an explicit form and reasoning and proving accordingly based on the representation.
英文读音
[ˌæksiəmətaɪ'zeɪʃən ˈmɑdəl]
英文的用法
公理化模型经常应用于数学和理论物理领域。它是一种严格的逻辑推理方法,可用于研究基本的数学和物理现象。
英文例句
- The axiomatization model is a powerful tool for investigating the foundations of mathematical theories.
- A great deal of work has been done in recent years on the axiomatization of kinematics.
- The axiomatization approach to quantum field theory has been very successful in predicting new phenomena.
英文近义词
- Formal system:正式系统
- Formal theory:形式理论
- Formalism:形式主义
英文反义词
- Intuitionistic logic:直觉主义逻辑
- Constructive mathematics:建设性数学
- Informal reasoning:非正式推理
英文单词常用度
公理化模型在数学和理论物理领域比较常见且重要,因此在相关文献和研究中出现的频率较高。