离散数学_PDF下载[72MB-百度云]李世群

节选

[

《离散数学》是参照国内外多种同类教材，结合多年的教学实践编写而成的。全书共分12章，包括了数理逻辑、集合论、代数系统和图论的基础知识四大部分。《离散数学》叙述详细，难点分散，推演严密，深入浅出。《离散数学》既有严谨的、系统的理论阐述，也有丰富的具有代表性和启发性的例题和习题。各章内容按模块化组织以适应不同的教学要求。《离散数学》可作为高等院校各理工科专业的离散数学教学用书，也可作为考研、自学人员的参考用书。

]

内容简介

[

本书是参照国内外多种同类教材，结合多年的教学实践编写而成的。全书共分12章，包括了数理逻辑、集合论、代数系统和图论的基础知识四大部分。

]

第1章　命题逻辑　1.1 命题与联结词　1.2 合式公式　1.3 真值表与真值函数　1.4 命题逻辑中的等值关系　1.5 联结词的全功能集　1.6 析取范式与合取范式　习题1第2章　命题逻辑的自然推理　2.1 命题逻辑中的推理关系　2.2 推理规则　2.3 常见证明方法　习题2第3章　谓词逻辑的基本概念　3.1 一阶逻辑的基本概念