离散数学复习纲要(命题逻辑部分).pdf

数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能

详细介绍了命题逻辑的基本知识，比课本上的要好些

离散期末复习资料，总结的很好，很全 包你离散学的无压力

南开大学离散数学上课时用的课件，内容翔实，具有很大的用处

离散数学逻辑推理判断系统.

离散数学.PDF~~~

实现了命题逻辑的归结推理

离散数学部分偶数题的答案,离散数学及其应用 Kenneth H.Rosen.

离散数学复习题目，题目很有价值啊，内容全，试卷很有代表性，值得一用，很有价值， ‘

数理逻辑中离散有关内容~包括基本的真假概念，及与或非操作等