mathematical logic是什么意思-mathematical logic英文怎么读-英汉词典翻译

首页> 英汉词典

英美

Noun:

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic.
柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

【近义词】

formal-head是什么意思 Ichelt是什么意思 ureameter是什么意思 Formaldehydeless是什么意思 formal-fallacy是什么意思 formaldehyderesin是什么意思 formaldehydre是什么意思 formalizedarithmetic是什么意思 formaldehydogenic是什么意思 formalverification是什么意思

推荐工具

mathematical logic