离散数学

内容简介

[

　
本书依据教育部高等学校计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》编写而成。本书不仅覆盖逻辑演算、集合与关系、数论、组合计数、代数结构、图论等基础理论部分，还包括这些基础理论在粗糙集、模糊集、人工智能、纠错码、加密技术等领域的应用，并涉及数理逻辑形式系统等相关内容。本书体系严谨、选材精练、讲述翔实、语言通俗，注重与计算机科学与技术的实际问题相结合，强调应用能力与计算思维的培养。

　 本书不仅可作为高等学校计算机及相关专业本科生的离散数学课程教材，也可供相关工程技术人员阅读参考。

]

目录

**章 命题逻辑
1.1 命题及其表示
1.2 逻辑联词
1.3 命题形式与真值函数
1.4 真值表与等值公式
1.5 重言式与蕴涵式
1.6 初始逻辑联词
1.7 对偶和对偶定律
1.8 范式
1.9 命题演算推理理论
1.1 0命题演算的形式系统
1.1 1习题
第二章 一阶谓词逻辑
2.1 谓词与个体
2.2 命题函数与量词

封面

书名:离散数学

作者:段禅伦

页数:332

定价:¥32.0

出版社:高等教育出版社

出版日期:2011-06-01

ISBN:9787040319019

PDF电子书大小:157MB 高清扫描完整版