-
中国铁道出版社
- 9787113331900
-
1-1
-
2026-04
-
电子与信息大类
-
计算机类
-
计算机类
-
高职本科（应用型本科）
作者简介
鄢小虎，深圳职业技术大学人工智能工程技术专业主任，副教授，武汉大学计算机学院计算机应用技术专业的博士。
查看全部
内容简介
本书旨在为普通高等学校学生系统地介绍离散数学及其应用,主要包括数理逻辑、集合论、图论等内容。数理逻辑用符号化的方法研究推理的规律,集合论研究集合与关系的相关理论,图论研究各种图的结构与性质。本书除介绍离散数学的基础理论外,还通过实际项目和编程案例,引导学生做中学、学中做,以更好地理解与掌握相关知识和技能。本书适合作为职业本科院校、应用型本科院校计算机类、电子信息类相关专业教材,也可作为相关从业人员的参考书。
目录
单元1命题逻辑1【项目介绍】1【学习目标】2【知识储备】21.1命题的形式化及联结词21.2命题公式及分类81.3等值演算121.4范式18
