【数理逻辑 shù lǐ luó jí】：亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
3、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
3、造 句 网是一部在线造句词典,其宗旨是让大家更快地造出更优质的句子.
4、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
5、如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
带数理逻辑造句字词语
带数理逻辑造句字成语