數理邏輯是什么意思_數理邏輯读音|解释_數理邏輯同义词|反义词

數理邏輯

释义：

數理邏輯

数理逻辑，是用数学方法研究逻辑或形式逻辑的学科，属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

参见百度百科介绍

汉语

读音

  • 汉语拼音：shù lǐ luó jí

翻译

翻译
  • 英语：mathematical logic；symbolic logic；

本词条全部或部分内容来自许可协议的CC-CEDICT项目。