离散数学(21世纪高等学校计算机基础实用系列教材)

图书标准信息

• 作者 黄健；曹宏举；郭巧丽
• 出版社 清华大学出版社
• 出版时间 2024-05
• 版次 1
• ISBN 9787302661979
• 定价 59.80元
• 装帧 其他
• 开本 其他
• 页数 320页
• 字数 487千字

【内容简介】

依照教育部2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》，在近20年的“离散数学讲义”基础上，精心整理，编撰成本书。在编写过程中，充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验，以增强本书的适用性。

本书分为数理逻辑、集合论、代数系统和图论4篇，内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统基础、群/环和域、格与布尔代数、图论基础、特殊图与应用共10章。各章的每节都配有习题，重要术语均有相应的英文表述。

本书可以作为计算机科学与技术、软件工程、网络工程、信息安全、物联网工程等相关专业的本科生教材，也可以作为从事计算机软件、硬件开发和应用的工程技术人员的参考书，还可供教师参考或自学者使用。

【目录】

篇 数理逻辑

章 命题逻辑

1.1 命题与逻辑联结词

1.1.1 命题逻辑的基本概念

1.1.2 逻辑联结词

题1.1

1.2 命题公式与真值表

题1.2

1.3 永真式与永式

题1.3

1.4 代入规则与替换规则

题1.4

1.5 等价与蕴

题1.5

1.6 对偶

题1.6

1.7 其他联结词

题1.7

1.8 范式与范式判定问题

题1.8

1.9 命题演算的推理理论

1.9.1 真值表法

1.9.2 直接证明法

1.9.3 反证法

题1.9

第2章 谓词逻辑

2.1 谓词与个体

题2.1

2.2 量词与全个体域

题2.2

……