说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 数学错误
1)  mathematical error
数学错误
1.
As long as there is mathematics learning, there will be a mathematical error.
数学错误与数学学习如影随形,只要有数学学习,就会有数学错误
2)  mathematic logic inaccuracy
数学逻辑错误
1.
The inaccuracy of the basic equations of dependent function in books and papers of extenics was proved in concise form,and the mathematic logic inaccuracy in extenics was analyzed,which showed that the extensible methods cou.
以简明形式证明可拓学论著中关联函数基本公式的错误,分析了可拓学中的数学逻辑错误。
3)  mathematical mistake and logic error
数学与逻辑错误
4)  incorrect concept in math
数学错误概念
5)  Errors in solving mathematical questions
数学解题错误
6)  data error
数据错误
1.
Because of the author s carelessness and impetuosity,there are more and more general knowledge data errors in scientific and technical papers.
由于作者的马虎与浮躁,目前越来越多不符合科学常识的数据错误出现在科技论文原稿中。
2.
On the basis of introduction of several common data errors appeared in a process of field construction of geophysical measurement, the paper analyzed the reason and presented the methods for solution in order to guarantee the reliability of measured results.
在介绍Scorpio 6002、6502 GPS接收机在物探测量野外施工过程中出现的几种常见数据错误的基础上,对其原因进行了分析,并提出解决办法,以保证测量成果的可靠性。
补充资料:逻辑-数学演算


逻辑-数学演算
logico-mathematical calculus

【补注】“逻辑一数学演算”一术语在西方科学界中并不通用:对该概念西方用的名称是“(一阶)理论”((俪t刃川er)山印ry).逻辑一数学演算〔扬乡。峨.‘曰阳‘口.Od浏迢;JIOr。-姗”姗侧e~胭~“],应用演算(aPp回cal-eulus) 数学理论的形式化.一个形式化的数学理论由它的语言及一组假设组成.这两部分组成了形式化理论的语法.通常它还配置了一个语义.一个形式化的数学理论及一个通常意义下的公理化理论之间的区别在于:l)通常逻辑中的工具和方法被用到公理的公式化及推理规则的限制上,这样,人们可以形式化地由一个命题推导至另一个命题.2)后者的非形式语言转换成一个精确的形式语言(fbrmallangua罗).逻辑-数学演算的基础通常是一个逻辑演算(拓目cal calculus)(基本逻辑演算(hasic fogicai calcl习谓)).它的语言包括该逻辑演算的语言,再加上一些特殊的函数符号及谓词符号(有时排除谓词变元;有些函数不含变目).它的假设包括该逻辑演算的假设(以新语言的表达式表示),再加上一些用以描述新增加函数符号及新增加谓词符号不同性质的假设.例如,形式化的初等群论,其语言包括带等式的谓词演算的语言,增加符号·(乘法),inv(逆)以及。(恒等元),保留等号,除去所有其他的谓词符号.增加的假设 丫x丫y丫:(e·x二x%26inv(x)·x“ =e%26(x·y)·Z=x·(y·:))断言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条