Mathematical logic英文翻译_Mathematical logic是什么意思_(数理逻辑的英文)

词性释义

数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。

例句

全部

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.

罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。

I learn the formulas that have been proved by mathematical logic and empirical evidence.

我学到的是已经被数学推理和实际经验所证明的公式。

But there is a more useful notion of completeness , derived from the meaning of this word in mathematical logic.

但是这里完整性有一个比较有用的概念，这个概念是从这个单词在数学逻辑的意思中获得的。

Indeed, he has come to it by way of Aeronautical Engineering and Mathematical Logic.

实际上，他从事哲学的方式跟对待航空科学和数理逻辑没什么两样。

Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.

数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。

The problem couldn't even have been seriously tackled without the benefit of modern advances in mathematical logic.

如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。

My mathematical logic ability stronger also, can keep in class in the forefront of the class.

我的数理逻辑能力也比较强，在班级里能保持在班级前列。

And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。

Mathematical Logic of Winning Strategy for Games?

围棋必胜法的数理逻辑观照？

Mathematical logic can produce some great trivia.

数学逻辑能够推理一些极其细微的现象。

Early in his professional career, he gained a PhD in mathematical logic from the University of Buenos Aires.

在其职业生涯早期曾获得布宜诺斯艾利斯大学数学逻辑博士学位。

F. Liu: Analysis of "Bai Ma Fei Ma" from the Perspective of Mathematical Logic, Journal of Shanxi University, No. 3, 1997.

刘奋荣：从数理逻辑的分析方法看“白马非马”，《山西大学学报》1997年第3期。

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

在数理逻辑中研究的主要对象是各种演算。

paradox; mathematical foundation; mathematical logic;

悖论；数学基础；数理逻辑；

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

数理逻辑中存在量词引入的必要性

On Research Object Discipline Belongingness Definition and Research Fields of Mathematical Logic

数理逻辑之研究对象、学科归属、定义及研究领域

Approaching Mathematical Logic of the Option Pricing Principles

期权定价原理的数理逻辑探析

On Significant Value of Expression and Innovation of Mathematical Logic in Modern Political Economics

论现代政治经济学数理逻辑表达与创新的重要价值

Formal Logic Will not Be Superseded by Mathematical Logic

数理逻辑不能取代形式逻辑

On Fostering Mathematical Logic in Preparatory Instruction

试论预科教学中数学思维的培养

Content System Reform of Mathematical Logic Courses in Science Departments

理科数字逻辑课程内容体系改革探讨

Several Factors in Mathematical Logic Translation

数理逻辑翻译中的几个因素

The Application Of Mathematical Logic Thinking To Artistic Design

数理逻辑思维方法及在艺术设计中的运用

The definition of induction and proving of induction in mathematical logic

数理逻辑中的归纳定义和归纳证明

The Incompleteness Phenomenon: A New Course in Mathematical Logic

不完全性现象：一门数学逻辑新课程

网络释义

数理逻辑

普通英汉小词典_翻译家(Fanyijia.com) ... yacht □ 艇 数理逻辑 mathematical logic 模型论 model theory ...

数字逻辑

大学课程英文翻译 ... 电学实验 Electrical Experiment 数字逻辑 Mathematical Logic 普通物理 General Physics ...

数学逻辑

数学逻辑（Mathematical logic）是与数学基础，理论计算科学和哲学逻辑密切联系的一个数学分支。其研究对象包括逻辑的数 …

数理逻辑学

...」，尽管它完成於二十世纪上半叶的1931年，但却是数理逻辑学（mathematical logic）与数学基础（foundations of mathema…

数理逻辑课

荫麟因修数理逻辑课（mathematical logic）的关系，就到伯克利来，借读了差不多有一年的时间。他来了之后，住进了我们的 …

同义词

[数]数理逻辑

symbolic logic

更新时间：2025-04-02 09:36