具体描述
本书阐述了离散数学的基本概念、基本思想和基本方法，内容主要包括数理逻辑、集合论、代数系统与图论四部分，每章后附有丰富的习题，便于加强读者对章节内容的理解与掌握。本书通俗易懂，循序渐进，适合作为计算机相关专业的大专教材，讲授时间约需72学时。本书也可作为有关专业的数学工具书或参考书。
作者简介
目录信息
第一章数理逻辑
第一节命题逻辑
一、命题及其表示法
二、命题公式、真值表与等价公式
三、重言式与重言蕴含式
四、对偶与范式
五、命题演算的推理理论
习题1.1
第二节谓词逻辑
一、谓词、个体词和量词
二、谓词公式
三、等价式与重言蕴含式
四、前束范式
五、谓词演算的推理理论
习题1.2
第二章集合论
第一节集合及集合间的关系
一、集合的概念及其表示法
二、集合间
· · · · · · (收起)
第一节命题逻辑
一、命题及其表示法
二、命题公式、真值表与等价公式
三、重言式与重言蕴含式
四、对偶与范式
五、命题演算的推理理论
习题1.1
第二节谓词逻辑
一、谓词、个体词和量词
二、谓词公式
三、等价式与重言蕴含式
四、前束范式
五、谓词演算的推理理论
习题1.2
第二章集合论
第一节集合及集合间的关系
一、集合的概念及其表示法
二、集合间
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有