数理逻辑
拼音shù lǐ luó ji
注音ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一
繁体數理邏輯
词性名词
词语解释
数理逻辑（數理邏輯）[ shù lǐ luó ji ]
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
相关词语
- shí xiàng识相
- shī cè失策
- shí sān xǐng十三省
- shì mù qīng ěr拭目倾耳
- shuāng lòu霜漏
- shū huǎn舒缓
- shí shú识熟
- sǒng jiàn竦健
- shuāng lín霜林
- sān hǎo liǎng dǎi三好两歹
- sī huà司化
- shōu shā收煞
- shì huǎn zé yuán事缓则圆
- shǐ zhōng ruò yī始终若一
- sì yuán四垣
- shé jīn guō折巾郭
- shào hóu guā邵侯瓜
- shēng cái生材
- shū máng输芒
- shuǎ huā zhāo耍花招
- sūn sūn孙孙
- shī miù失谬
- shān méi山眉
- shù jí束棘
- shí xián时贤
- suì wēi遂威
- shěng yuē省约
- shì yǒu势友
- shòu gǔ líng dīng瘦骨伶仃
- shēng xuán生旋
- sǎ xiù洒绣
- shì wǔ士伍
- shén yù qì cuì神郁气悴
- shēn tǎo申讨
- sè sè jù quán色色俱全
- shì wěi世伪
- shēng qì升气
- shū miǎo殊邈
- shù dǎo hú sūn sàn树倒猢孙散
- sī xì私系