数理逻辑词语解释 / 数理逻辑是什麽意思

简体拼音
[shù lǐ luó ji]
反义词
近义词
基本释义
详细释义
百科解释

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

更多相关

Mathematics Logic

数字开头的词语
数得着数量积数九数一数数学数度数让数据数斯数叨数落数不着数众数器数蓍数喇数策数目字数术数据库数目数词数纪数表数不清
辑字结尾的词语
绥辑形式逻辑撰辑传统逻辑比辑裒辑选辑购辑调辑编辑符号逻辑化辑镇辑采辑缀辑柴辑访辑和辑较辑安辑纂辑装辑特辑逻辑相辑

其他词语解释