最 低 价：￥21.30
定 价：￥27.00
作 者：李盘林/李盘林 ... (等)/李盘林//李丽双//赵铭伟//李洋//王春立 著
出 版 社：高等教育出版社
出版时间：2005-11
I S B N：7040173794
| 本书第一版为面向21世纪课程教材和普通高等教育“九五”国家教委重点教材，曾获2002年教育部全国普通高等学校优秀教材二等奖。 为适应计算机科学与技术的发展和离散数学课程教学改革的需求，新版教材在保持第一一版编写特色的基础上，对前版内容进行了必要的充实与更新，对不妥之处进行了修正。增加了离散数学部分新的理论及应用，涵盖了国务院学位委员会办公室公布的“同等学力人员申请硕士学位计算机科学与技术学科综合水平全国统一考试大纲及指南”的相关内容，填补了相关教材的空缺，进一步扩大了读者的需求面。 与本书配套使用的《离散数学提要及习题参考解答》第二版也将随之面世，供读者参阅；电子教案的PowerPoint文件可从高等教育出版社高等理工教学资源网上下载，网址为：http：//www．hep-st．com．cn。 |
| 第一篇 数 理 逻 辑 第1章 命题逻辑 1.1 命题与联结词 1.2 命题公式、翻译和真值表 1.3 公式分类与等价式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 逻辑运算应用举例 1.7 公式标准型——范式 1.8 公式的主范式 1.9 命题逻辑的推理理论 1.10 命题逻辑的归结推理 习题 第2章 谓词逻辑 2.1 谓词逻辑中基本概念与表示 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 谓词逻辑的解释与其赋值 2.5 真与逻辑有效 2.6 谓词逻辑中的等价式 2.7 变换规则 2.8 谓词逻辑的蕴涵式 2.9 谓词逻辑中公式范式 2.10 谓词逻辑的推理理论 2.11 谓词逻辑的归结推理 习题 第二篇 集 合 论 第3章 集合论的公理系统 3.1 公理导出和基本概念 3.2 外延公理与子集公理 3.3 集合的表示法 3.4 偶集公理与联集公理 3.5 极小元与正则公理 3.6 无穷公理 3.7 幂集公理 习题 第4章 关系与函数 4.1 有序对 4.2 笛卡儿积 4.3 二元关系及其矩阵表示 4.4 关系的性质 4.5 等价关系与划分 4.6 函数 4.7 递归定义函数 4.8 序关系 |
内容加载中，请稍后...
商品评论（0条）