离散数学 / 河南省本科高校新工科新形态教材
定价:¥49.80
作者: 冯岩,鲍治国,时玉春等
出版时间:2025-12
最新印次日期:2025-12
出版社:中国铁道出版社
河南省“十四五”普通高等教育规划教材
试读- 中国铁道出版社
- 9787113326944
- 1版
- 2025-12
- 工学
- 计算机类
- 计算机类
- 本科
作者简介
内容简介
本书作为河南省“十四五”普通高等教育规划教材,紧扣应用型人才培养目标,聚焦数理逻辑、集合论、图论、初等数论及代数系统五大核心内容,通过内容间的相互关联与层层递进,为读者筑牢数学、计算机科学、人工智能及软件工程等学科的理论根基,注重强化解决实际问题的工具支撑能力。本书在内容安排上突出由浅入深、循序渐进的特点,各章配备了大量的例题,理论与实践密切结合,适合作为普通高等学校计算机及相关专业离散数学课程的教材,也可作为其他专业学生和科技人员的参考书。
目录
第1章命题逻辑…………………………………………………………………………………11.1命题及联结词………………………………………………………………………………21.1.1命题……………………………………………………………………………………21.1.2联结词…………………………………………………………………………………31.2命题公式及真值表…………………………………………………………………………61.2.1命题公式的概念………………………………………………………………………61.2.2命题公式的真值表……………………………………………………………………61.3命题公式的等值式及蕴含式………………………………………………………………81.3.1等值式…………………………………………………………………………………81.3.2蕴含式…………………………………………………………………………………101.4联结词的全功能集………………………………………















