离散数学
金晶
科学出版社
出版时间：
1999-04-01
出版社：
科学出版社
作者：
金晶
内容概要
本书阐述了离散数学的基本概念、基本思想和基本方法，内容主要包括数理逻辑、集合论、代数系统与图论四部分，每章后附有丰富的习题，便于加强读者对章节内容的理解与掌握。本书通俗易懂，循序渐进，适合作为计算机相关专业的大专教材，讲授时间约需72学时。本书也可作为有关专业的数学工具书或参考书。
书籍目录
第一章数理逻辑
第一节命题逻辑
一、命题及其表示法
二、命题公式、真值表与等价公式
三、重言式与重言蕴含式
四、对偶与范式
五、命题演算的推理理论
习题1.1
第二节谓词逻辑
一、谓词、个体词和量词
二、谓词公式
三、等价式与重言蕴含式
四、前束范式
五、谓词演算的推理理论
习题1.2
第二章集合论
第一节集合及集合间的关系
一、集合的概念及其表示法
二、集合间
图书封面
广告
下载页面