基本信息
- 作者： 田秋红
- 丛书名： 面向新工科普通高等教育系列教材
- 出版社：机械工业出版社*
- ISBN：9787111684053
- 上架时间：2021-7-22
- 出版日期：2021 年7月
- 开本：16开
- 版次：1-1
- 所属分类：数学 > 代数，数论及组合理论
编辑推荐
适读人群 ：计算机专业本科生、大专生，高职学生
本书通过对目前主流离散数学教材的分析研究，并结合计算机专业的后续学习需求，由浅入深地介绍了数理逻辑、集合论、图论和代数系统四个部分，每一部分均配有大量难易程度不同的例题，且重、难点知识点均配有视频讲解。本书内容翔实，深入浅出，是一本适宜学生预习和复习，且可读性强的教材。
内容简介
目录
第一部分数理逻辑
第1章命题逻辑2
11命题及符号化2
111命题2
112联结词3
113真值表5
114复合命题符号化6
115命题公式分类7
12命题等值演算9
121等值式9
122等值演算9
13范式12
131析取范式和合取范式12
132主析取范式和主合取范式14
14逻辑电路20
15习题22
第2章一阶逻辑26
21一阶逻辑基本概念26
211个体词、谓词26
212量词27
第1章命题逻辑2
11命题及符号化2
111命题2
112联结词3
113真值表5
114复合命题符号化6
115命题公式分类7
12命题等值演算9
121等值式9
122等值演算9
13范式12
131析取范式和合取范式12
132主析取范式和主合取范式14
14逻辑电路20
15习题22
第2章一阶逻辑26
21一阶逻辑基本概念26
211个体词、谓词26
212量词27
