数理逻辑_数理逻辑的读音_数理逻辑的意思
数理逻辑的读音 数理逻辑的意思
数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
“数理逻辑”的读音
【拼音读音】
[shù lǐ luó ji]
【汉字注音】
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
【简繁字形】
數理邏輯
【是否常用】
是
“数理逻辑”的意思
基本解释
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。网络解释
数理逻辑 (用数学方法研究逻辑或形式逻辑的学科)
形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。“数理逻辑”的单字解释
【数】:[shù]1.数目:次数。数额。2.几;几个:数次。数日。3.天数;命运:气数。在数难逃。4.表示事物的量的基本数学概念。由于生产实践对计数和测量的需要,首先产生了自然数(正整数),后又逐渐产生了分数、零、无理数、负数、虚数等。5.一种语法范畴。表示名词、代词所指事物的数量。6.指数学:数理化。[shǔ]1.点算:数数(shù)。数不清。2.比较起来最突出:数得上。数一数二。3.责备;列举错误:数说。数落。[shuò]屡次:频数。
数字的详细解释
【理】:1.物质组织的条纹;纹理:木理。肌理。条理。2.道理;事理:合理。理屈。理当如此。3.自然科学,有时特指物理学:理科。数理化。4.管理;办理:处理。理财。当家理事。5.整理;使整齐:理发。理一理书籍。6.对别人的言语行动表示态度;表示意见(多用于否定式):路上碰见了,谁也没理谁。置之不理。7.姓。
理字的详细解释
【逻】:巡察:巡逻。逻骑。逻卒。
逻字的详细解释
【辑】:1.编辑;辑录。2.整套书籍、资料等按内容或发表先后次序分成的各个部分:新闻简报第一辑。这部丛书分为十辑,每辑五本。
辑字的详细解释
“数理逻辑”的相关词语
数量 (shù liàng)数字 (shù zì)数据 (shù jù)人数 (rén shù)大多数 (dà duō shù)多数 (duō shù)少数 (shǎo shù)无数 (wú shù)少数民族 (shǎo shù mín zú)数学 (shù xué)总数 (zǒng shù)指数 (zhǐ shù)数目 (shù mù)数额 (shù é)数据库 (shù jù kù)次数 (cì shù)系数 (xì shù)半数 (bàn shù)参数 (cān shù)分数 (fēn shù)
理论 (lǐ lùn)处理 (chǔ lǐ)管理 (guǎn lǐ)理解 (lǐ jiě)心理 (xīn lǐ)理想 (lǐ xiǎng)总理 (zǒng lǐ)合理 (hé lǐ)理由 (lǐ yóu)道理 (dào lǐ)经理 (jīng lǐ)办理 (bàn lǐ)治理 (zhì lǐ)总经理 (zǒng jīng lǐ)清理 (qīng lǐ)真理 (zhēn lǐ)整理 (zhěng lǐ)地理 (dì lǐ)理念 (lǐ niàn)原理 (yuán lǐ)
逻辑 (luó ji)巡逻 (xún luó)数理逻辑 (shù lǐ luó ji)巡逻艇 (xún luó tǐng)逻惹 (luó rě)遮逻 (zhē luó)逻娑 (luó suō)驿逻 (yì luó)逻逮 (luó dǎi)寻逻 (xún luó)逻剎 (luó chà)逻送 (luó sòng)逻巡 (luó xún)逻辑思维 (luó ji sī wéi)逻舍 (luó shè)逻檀 (luó tán)逻护 ()逻逼 ()逻逤 ()逻所 ()
编辑 (biān jí)逻辑 (luó ji)编辑部 (biān jí bù)专辑 (zhuān jí)剪辑 (jiǎn jí)辑录 (jí lù)数理逻辑 (shù lǐ luó ji)特辑 (tè jí)选辑 (xuǎn jí)辑要 (jí yào)搜辑 (sōu jí)裒辑 (póu jí)辑睦 (jí mù)逻辑思维 (luó ji sī wéi)招辑 (zhāo jí)逻辑电路 (luó ji diàn lù)抚辑 (fǔ jí)和辑 (hé jí)论辑 (lùn jí)逻辑学 (luó ji xué)