简介
本书阐述了离散数学的基本概念、基本思想和基本方法，内容主要包括数理逻辑、集合论、代数系统与图论四部分，每章后附有丰富的习题，便于加强读者对章节内容的理解与掌握。本书通俗易懂，循序渐进，适合作为计算机相关专业的大专教材，讲授时间约需72学时。本书也可作为有关专业的数学工具书或参考书。
目录
第一章数理逻辑
第一节命题逻辑
一、命题及其表示法
二、命题公式、真值表与等价公式
三、重言式与重言蕴含式
四、对偶与范式
五、命题演算的推理理论
习题1.1
第二节谓词逻辑
一、谓词、个体词和量词
二、谓词公式
三、等价式与重言蕴含式
四、前束范式
五、谓词演算的推理理论
习题1.2
第二章集合论
第一节集合及集合间的关系
一、集合的概念及其表示法
二、集合间
第一节命题逻辑
一、命题及其表示法
二、命题公式、真值表与等价公式
三、重言式与重言蕴含式
四、对偶与范式
五、命题演算的推理理论
习题1.1
第二节谓词逻辑
一、谓词、个体词和量词
二、谓词公式
三、等价式与重言蕴含式
四、前束范式
五、谓词演算的推理理论
习题1.2
第二章集合论
第一节集合及集合间的关系
一、集合的概念及其表示法
二、集合间
离散数学
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
