数理逻辑

词语解释

数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。

1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。

2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。

3、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。

4、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。

5、如何使经典数理逻辑柔性化，以包