离散数学CH02_命题逻辑(1). 时间:2016-05-14 15:08:32 【文件属性】: 文件名称:离散数学CH02_命题逻辑(1). 文件大小:5.35MB 文件格式:PPT 更新时间:2016-05-14 15:08:32 离散数学 数理逻辑(Mathematical Logics)就是用数学化(符号化)的手段,研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用 立即下载