数理逻辑
| 词语 | 数理逻辑 |
|---|---|
| 拼音 | shù lǐ luó jí |
| 字数 | 4字词语 |
| 形式 | abcd式词语 |
意思：
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
造句：
1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
相关词语：
备位充数秉公办理擘肌分理不计其数不可理喻不可胜数不足齿数不近道理残民害理词不逮理词穷理极惨无人理吹毛数睫词穷理尽词穷理绝词穷理屈词正理直辞巧理拙