离散数学CH02_命题逻辑(1).

【文件属性】：

文件名称：离散数学CH02_命题逻辑(1).

文件大小：5.35MB

文件格式：PPT

更新时间：2016-05-14 15:08:32

离散数学

数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用