数学形式化,Mathematical Formalization
1)Mathematical Formalization数学形式化
2)formalized mathematics形式化数学
3)mathematization and formalization数学化和形式化
4)formal math形式数学
1."Mathematization" was the ladder to upgrade "life math" into "formal math"."数学化"是"生活数学"提升为"形式数学"的阶梯。
英文短句/例句
1.Some Difference Type Mathematical Models of Judging AZT′s Therapeutics;艾滋病疗法评价的差分形式数学模型
2.the mathematical form of model模型数学形式的设定
3.Discussion on Teaching Pattern Combining Figure with Chart in Higher Mathematics高等数学中数形结合教学模式的探讨
4.On the Form and Forms of non-of Several Issues in Mathematics Teaching数学教学中有关形式与非形式的几个问题
5.expand a function or expression in the form of a series, in mathematics.在数学中通过级数的形式来扩大函数或表达式。
6.simplify the form of a mathematical equation of expression by substituting one term for another.通过用一种形式代替另一种形式使数学表达式的形式得到简化。
7.(math) capable of being expressed as a quotient of integers.（数学）能够变成整数之比的形式的。
8.Talking About the Concretive Expressive form to the Constructive Mathematical Thinking Way;建构性数学思维方式的具体表现形式
9.(math) real but not expressible as the quotient of two integers.（数学）是实数但是不能变成整数之比的形式的。
10.On the Thinking Forms of Mathematics Conjecture in the Activity of Mathematics Exploring;论数学猜想在数学探究活动中的思维形式
11.Discuss on Mathematical Teaching Research Modality of High School and Primary School in Japan;试论日本中小学数学教学研究形态——兼论日本中小学数学教学模式
12.Biological procesdures cannot be expressed in mathermatical formulae.物理形成的过程无法用数学公式描述。
13.(mathematics) expressible in symbolic form.（数学）能够用符号形式表达。
14.The mathematical formulation of this hypothesis is a persuasive one.这一假设的数学形式是诱人的。
15.Researching of the Formal Method Based Fuzzy Math;基于模糊数学的形式化开发方法研究
16.A Brief Analysis on the Trilingual-teaching Forms in the Minority Areas of China;中国少数民族“三语教学”形式简析
17.The Logical analysis and Judgment on the Proving Form of mathematical Propositions;数学命题证明形式的逻辑分析和判定
18.On the Mathematical Representation of "Tao" and Its Form in Reality;论“道”的数学表述与现实存在形式
相关短句/例句
formalized mathematics形式化数学
3)mathematization and formalization数学化和形式化
4)formal math形式数学
1."Mathematization" was the ladder to upgrade "life math" into "formal math"."数学化"是"生活数学"提升为"形式数学"的阶梯。
5)chemical form化学形式
1.The effects of fermentation,baking and storage during the processing of bread on thechemical forms of iron were investigated.将各种铁源加到面粉中,制成面包,测定其中铁存在的化学形式,研究面包生产过程中发酵、焙烤、贮藏对铁化学形式的影响。
6)Aesthete of mathematical formalism数学形式美
延伸阅读
形式数学分析形式数学分析formal mathematical analysis的新的变量x，y，Z，…和新的原子公式(ato献for-功川留):(作X)(“属于集合X”).形式算术的逻辑公理和归纳公理模式可以以这种方法自然加强到包括扩展语言中的公式上.最后，再加上一个新的公理模式—概括公理模式(ax10r。一邪坛川℃of comP茂he邝沁n):日X功夕(y 6X三A(y))，其中A(y)是所考虑的语言中不含自由变量X的公式，y是一个自然数变量.这个理论(所谓的Hilbert一取叫”臀诊(Hil比rt，-氏皿ys th刃ry);在这理论中可以论及自然数和自然数集)对数学分析的自然形式化是足够的.感兴趣的问题是用有一定可构造性的方法提供Hi】bert一氏ma梦理论协调性的基础.根据G翻目不完全性定理(C你北1五功帅卜田以，小印n汀n)，在形式数学分析内这是不可能做到的.C.S详双or(f3」)用修改了的直觉主义算术的C树目解释(G议无lm记rpretation)，成功地证明了这理论的协调性、这是直觉主义(血山石。血m)需求的一种有意义的扩展.证明Hnbert一决哪那理论的协调性的基本困难与这理论的概括公理的特征有关，即出现在概括公理模式中的公式A(夕)中允许随意使用集合量词.这样，在说明一个数y是否属于公理中所定义的集合X时，必须用到自然数的所有集合，其中包含被定义的集合X.可以说形式分析的概括公理在某种程度上表明了所有集合实际同时存在的必要性.这个特点(常出现在某些集合论形式理论中)称为一个理论的非直谓性(non.pre由Cativity).梦In忱找一趾叫ys形式分析是非直谓分析.为消除非直谓性，人们提出了各种享渭(p耐-cati诺)(或分歧(m功i压过”分析的形式公理理论.比如，最广泛使用的形式化之一，可以追溯到H.节几负，考虑了含有以自然数为上标的形为X用，Y*，…的变量.这些变量取值于自然数集.这个理论中的概括公理模式形式为:刁X.丫夕(y‘尸‘A(少))，其中A(y)的囿界集变量的指标
