高等学校“十二五“规划教材 离散数学习题解析与实验指导【吴杰主编；谷淑化，薛思清，蔡之华副主编】-PDF电子版

书籍名称：高等学校“十二五“规划教材 离散数学习题解析与实验指导

页数：187

作者：吴杰主编；谷淑化，薛思清，蔡之华副主编

出版时间：2015

ISBN：9787562537625

出版社：武汉：中国地质大学出版社

简介：

前部分目录

第1部分 习题解答——3
第1章 命题逻辑——3
1.1 内容回顾——3
1.1.1 命题与联结词——3
1.1.2 命题公式——3
1.1.3 等值演算——4
1.1.4 范式——5
1.1.5 联结词的完备集——6
1.1.6 命题逻辑的推理演算——6
1.2 习题解答——8
1.3 小测验——22
1.3.1 试题——22
1.3.2 参考答案——23
第2章 谓词逻辑——26
2.1 内容回顾——26
2.1.1 个体、谓词和量词——26
······
······
······