So one can not just talk abstractly about " Yes, let's talk about mathematical logic" .
“好，让我们来谈谈数学逻辑。”
| 单词 | mathematical logic |
| 释义 |
mathematical logic
英汉-汉英词典
数理逻辑
词组 | 习惯用语
您要查找的是不是：Mathematical logic and foundations 数理逻辑与基础 Mathematical Logic 数理逻辑; 数学逻辑; 数理论理学; Advanced mathematical logic 高级数理逻辑等 mathematical logic thinking 数理逻辑思维 Fundamentals of mathematical logic 数学逻辑基础 lesson of mathematical logic 数理逻辑教程 introduction to mathematical logic 数理逻辑引论 Symbols of mathematical logic 数理逻辑符号 Mathematical Logic & Mathematical Foundations 数理逻辑与数学基础 mathematical logic [数] 数理逻辑
原声例句
Big Think超级思想录 So one can not just talk abstractly about " Yes, let's talk about mathematical logic" . “好，让我们来谈谈数学逻辑。” What it takes 名人访谈 And so, at Stanford, that led me to the major that was called symbolic systems, which is this kind of medley of philosophy, linguistics, psychology, computer science, some mathematical logic. 所以，在斯坦福，这让我选择了被称为符号系统的专业，这是一种哲学，语言学，心理学，计算机科学，一些数学逻辑的混合。
中文百科
数理逻辑数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
英语百科
Mathematical logic 数理逻辑Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
近义、反义、联想词
近义词n.logic, logical system, system of logic
英英词典
mathematical logic n.
synonymous： symbolic logic, formal logic |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。