数理逻辑
拼音:shù lǐ luó ji繁体字:數理邏輯 ,是否常用:否
基本解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。网络解释
数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)
形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
0
纠错
猜你喜欢
宴娭是什么意思
见宴嬉。针尖是什么意思
针尖针的尖端部分被针尖扎住憎爱是什么意思
憎恨与喜爱。朱黄是什么意思
指朱黄两色笔墨。古人校点书籍时用之以示区...彼此是什么意思
彼此对称词。指你我双方那个和这个彼此错杂...使钱是什么意思
使钱花钱用钱使钱买通使钱花钱。初刻拍案惊...海心是什么意思
海中。祗遹是什么意思
敬述。诛晁错是什么意思
见诛鼌错。心力是什么意思
心力思维能力才智费尽心力心思和能力尔尚一...鳞砌是什么意思
谓依次序建造,排列如鱼鳞。色标是什么意思
色标为了标志的目的而使用的任一颜色系统例...家兵是什么意思
地主豪强或官僚的私人武装。心头肉是什么意思
心头肉比喻为人所最珍爱的人或物心头肉比喻...澡身浴德是什么意思
礼记儒行儒有澡身而浴德。孔颖达疏澡身,谓...