- 中国铁道出版社
- 9787113330255
- 3版
- 2026-02
- 工学
- 计算机类
- 计算机类
- 本科
作者简介
内容简介
离散数学是现代数学的重要分支，是计算机及相关学科的基础理论课之一。学生通过学习离散数学，能够得到严格的逻辑推理与抽象思维能力的训练，掌握数理逻辑、集合论、图论等知识。本书针对普通高等院校计算机类专业教学需要编写，涵盖数理逻辑、集合论和图论等离散数学核心领域，共分为6章：绪论、命题逻辑、谓词逻辑、集合论、二元关系、图论。本书内容注重基础概念的梳理，适合作为普通高等学校计算机科学与技术、网络工程及信息管理等专业教材，也可作为高职高专相关专业教材。
目录
第1章绪论1§1.1离散数学简介1§1.2离散数学的地位与作用2第2章命题逻辑7§2.1命题与联结词72.1.1命题的概念（7）2.1.2命题联结词（8）2.1.3描述实际问题（11）§2.2命题公式及其赋值142.2.1命题公式（14）2.2.2公式的解释与真值表（16）2.2.3命题公式的分类（17）§2.3等值演算192.3.1常用等值式（19）2.3.2等值演算的应用（21）§2.4范式242.4.1范式的基本概念（24）2.4.2主析取范式（26）2.4.3主合取范式（29）2.4.4主析取范式与主合取范式的意义（31）§2.5命题逻辑推理332.5.1命题逻辑推理的基本概念（33）2.5.2命题逻辑推理规则（34）2.5.3形式证明方法（37）2.5.4命题逻辑推理应用（38）小结39习题40第3章谓词逻辑52§3.1谓词逻辑概述523.1.1谓词逻辑基本概念（53）3.1.2描述实际问题（55）§3.2谓词公式与解释583.2.1谓词的合式公式（58）3
