MATHEMATICAL LOGIC - 翻译成中文

• 数学逻辑
• 数理逻辑
• 对数学逻辑

在 英语 中使用 Mathematical logic 的示例及其翻译为 中文

In mathematical logic we have an error called“halting problem”.
在数学逻辑中，我们有一个称为haltingproblem（终止问题）的错误。

That will be a brief phase, and therefore, with the mathematical logic of SETI, basically unobservable elsewhere.
那只是一个短暂的阶段，因此，按照SETI的数理逻辑，其它方面基本上是不可观测的。

Its main aims are to teach pupils to read and write, to introduce them to mathematical logic and to teach basic concepts for understanding reality;
主要目的是教授学童读和写，向他们引进数学逻辑并教授他们理解现实的基本概念；.

It is assumed to be an unconscious, random, parallel, and distributed computational process, run in mathematical logic by the social structure.
它呈现出一个无意识、随机、并行、分布式的计算过程，并依照社会结构在数理逻辑下运行。

It is another important field of study in which mathematical logic is used to execute the computer programs.
这是另一个重要的研究领域，其中使用数学逻辑来执行计算机程序。

The Google Brain team applies machine learning to a diverse variety of data, from human genomesto sketches to formal mathematical logic.
GoogleBrain团队将机器学习应用到各类数据中，从人类基因组到简笔画，再到形式数理逻辑。

In any case, this article follows ISO 31-11 and the standard convention in mathematical logic, which make 0 a natural number.
在任何情况，这篇文章都遵循ISO31-11和数学逻辑中的标准传统，将0作为自然数。

But what's fascinating about such Islamic tilings is that the work of anonymous artists and craftsmen also displays a near-perfect mastery of mathematical logic.
但这种伊斯兰瓷砖最令人着迷的是这些无名艺术家和工匠的杰作还表现出几近完美的数理逻辑。

It is another important field of study in which mathematical logic is used to execute the.
这是另一个重要的研究领域，其中使用数学逻辑来执行计算机程序。

Laboratory and modeling studies have already shown that tiny compartments in the dendritic arms of cortical neurons can each perform complicated operations in mathematical logic.
实验室和模型研究已经发现神经元树突臂中的微小腔室能执行复杂的数学逻辑操作。

In any case, this article follows ISO 31-11 and the standard convention in mathematical logic, which takes 0 as a natural number.
在任何情况，这篇文章都遵循ISO31-11和数学逻辑中的标准传统，将0作为自然数。

Approaches from the former are rooted in mathematical logic and require extensive engineering effort for every new case that needs to be handled.
前者的方法来自于数理逻辑，要求对每个需要处理的新案例进行大量的工程工作。

Literal(mathematical logic)- In mathematical logic, a literal is an atomic formula(atom) or its negation.
在数理逻辑中，文字(literal)是一个原子公式(atom)或它的否定。

Mathematical logic, for instance, enables you to deal with a certain strictly defined external problem in a reasonable manner.
譬如，数学的逻辑，使你能够以合理的态度，应付某一个定义严格的外在问.

What baffles me is that you don't seem to understand very simple mathematical logic that combining resources buys a better life.
让我感到困惑的是，你似乎不明白一个非常简单的数学逻辑，即组合资源可以获得更好的生活。

Numerical measurement systems such as thermometers and sphygmomanometers have also introduced mathematical logic into the medical field.
体温计、血压计等数值化的测量系统也将数学逻辑引入了医学领域。

The element of trust, which currently exists in the form of a bank, is thereby contained within blockchain's mathematical logic.
因此，目前以银行形式存在的信任要素也被包含在区块链的数学逻辑中。

Especially, you know, after all these algorithms are based on very simple mathematical logic.
尤其是，你知道，毕竟所有这些算法都是基于非常简单的数学逻辑。

The options, of course, encompass the entire programming universe, since the IoT does not require much in the way of specialized syntax or mathematical logic.
这些选项当然包含整个编程领域，因为物联网并不需要太多的专门的语法或数学逻辑。

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic..
在数理逻辑中，谓词逻辑（Predicatelogic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。