数理逻辑
词语解释
数理逻辑(數理邏輯)[ shù lǐ luó ji ]
⒈ 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
与“数理逻辑”相关的词语
- zhēn zǐ榛子
- zhēng lóng蒸笼
- wú jīng芜菁
- shǒu dū首都
- zhèn yǔ阵雨
- chéng xìn诚信
- wén míng文明
- píng děng平等
- zhēng liú shuǐ蒸馏水
- zhēng zhēng铮铮
- zhèng yǒu诤友
- gǒu qǐ枸杞
- cí fù慈父
- dì yù地域
- zhuī zǐ锥子
- shī jīng诗经
- zhì chǐ智齿
- fá jīn罚金
- jǐng wèi警卫
- lǐ pǐn礼品
- zhí wù职务
- cún huò存货
- dì bā第八
- zhī jiā gē芝加哥
- zhèn zhèn阵阵
- yín bì银币
- rén jiā人家
- zhèng kè政客
- zhèn yuán震源
- zhuī tǐ锥体
- gé zǐ格子
- wēn gē huá温哥华
- guǒ pǐn果品
- cháo xué巢穴
- zhuǎn zhé diǎn转折点
- zhù lì chē助力车
- zhēng qì蒸气
- jīng pǐn精品
- diàn píng电瓶
- wǔ qì武器