数理逻辑的意思

更新时间：2023-10-08 17:41:26

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

数理逻辑的拼音

拼音：shù lǐ luó ji 繁体字：數理邏輯

词典解释

1. 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。

数理逻辑的解释

【数】字的意思：

基本字义数（數）shù（ㄕㄨˋ）⒈ 表示、划分或计算出来的量：数目。数量。数词。数论（数学的一支，主要研究正整数的性质以及和它有关的规律）。数控。⒉ 几，几个：数人。数日。⒊ 技艺，学术：“今夫弈之为数，小数也”。⒋ 命运，天命：天...>>更多详情

关于数的组词：阿拉伯数字、百数、辈数、辈数儿、被乘数、被除数、暗数、不可胜数、白细胞分类计数、报数、安全系数、白细胞计数、

【理】字的意思：

基本字义理lǐ（ㄌ一ˇ）⒈ 物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事理。⒉ 事物的规律，是非得失的标准，根据：理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。⒊ 自然科学，有时特指“物...>>更多详情

关于理的组词：阿基米德原理、奥理、悖理、爱答不理、安分守理、安分循理、安理会、安全理事会、抱理、按理、案理、北京理工大学、

【逻】字的意思：

基本字义逻（邏）luó（ㄌㄨㄛˊ）⒈ 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。⒉ 遮拦：“蛛蝥结网工遮逻”。统一码逻字UNICODE编码U+903B，10进制:36923，UTF-32:0000903B，UTF-8:E980BB。逻字位于中日韩统一表意文字（CJKUnifiedIdeogr...>>更多详情

关于逻的组词：逼逻、辩证逻辑、簸逻回、辟逻、觇逻、钞逻、斥逻、传统逻辑、大逻便、发射极耦合逻辑集成电路、烽逻、符号逻辑、

【辑】字的意思：

基本字义辑（輯）jí（ㄐ一ˊ）⒈ 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。⒉ 聚集很多材料而成的书刊：丛书第一辑。⒊ 和，和睦：辑睦。⒋ 敛，拖着不便脱落。⒌ 古同“缉”，连缀。⒍ 古代称协调驾车的众马。统一...>>更多详情

关于辑的组词：安辑、辩证逻辑、编辑、编辑部、编辑程序、补辑、比辑、采辑、柴辑、传统逻辑、访辑、订辑、