数理逻辑 Mathematical logic
（重定向自Symbolic Logic）
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
| 单词 | symbolic logic |
| 释义 |
symbolic logic
英汉-汉英词典
n. 数理逻辑,逻辑符号
词组 | 习惯用语
您要查找的是不是：Symbolic Logic I 符号逻辑 Symbolic logic semant 二值逻辑语义 symbolic logic algorithm 符号逻辑算法 Formal symbolic logic 逻辑 model of symbolic logic 符号逻辑模型 Association for Symbolic Logic 符号逻辑协会 Association of Symbolic Logic 符号逻辑学会 Bulletin of Symbolic Logic 数理逻辑简报 symbolic logic [数] 符号逻辑；数理逻辑；符号论理学
中文百科
数理逻辑 Mathematical logic（重定向自Symbolic Logic）
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
英语百科
Mathematical logic 数理逻辑（重定向自Symbolic 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
英英词典
symbolic logic n.
synonymous： mathematical logic, formal logic |
| 随便看 |
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。