mathematical logic发音

意思翻译

[数]数理逻辑

相似词语短语

mathematical───adj.数学的，数学上的；精确的

logic───n.逻辑；逻辑学；逻辑性

mathematical calculations───数学计算

cartesian logic───笛卡尔逻辑

effectual logic───有效逻辑

mathematical model───[数]数学模型

sophism logic───诡辩逻辑

swirl logic───漩涡逻辑

circ logic───电路逻辑

双语使用场景

I learn the formulas that have been proved by mathematical logic and empirical evidence.───我学到的是已经被数学推理和实际经验所证明的公式。

In mathematical logic in the study is the main target of all kinds of calculus.───在数理逻辑中研究的主要对象是各种演算。

Mathematical logic can produce some great trivia.───数学逻辑能够推理一些极其细微的现象。

Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well.───数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.───用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.───谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

I'm smart but no genius and it was hard work for me to get through the more abstruse reaches of mathematical logic and epistemology.───我聪明但不是天才，而我也投入了大量的经历来学习深奥的数学逻辑和知识论。

Fuzzy logic theory overlaps with the above methods and with the probability, mathematical logic, and measure theory.───模糊理论可包含上述方法，如或然率，数学逻辑，测度理论。

Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.───罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。

英语使用场景

Mathematical Logic. I have a really cool totally unreadable book on the subject by Stephen Kleene, the inventor of the Kleene closure and, as far as I know, Kleenex.

This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.

The mathematical logic of breeding pictures indistinguishable from the mathematical logic of breeding pigeons.

Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

" Mr. Fang, have you ever studied mathematical logic?

Calculus of the mathematical logic of the grammar part.

In mathematical logic in the study is the main target of all kinds of calculus.

It is based on mathematical logic - based language function, based on the lambda calculus.

Mathematical logic is stressed to discuss expandly the optimal inventory control problem based on EDI using mathematical modeling and give several calculate formulations and methods.