离散数学
1星价
¥25.5
(8.5折)
2星价￥25.5
定价￥30.0
暂无评论
图文详情
- ISBN：9787111331834
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 开本：其它
- 页数：258
- 出版时间：2011-03-01
- 条形码：9787111331834 ; 978-7-111-33183-4
内容简介
“离散数学”是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。本书由六部分组成，首先将离散数学的体系结构分为以下五个主要部分：数理逻辑、集合与关系、数论与组合论、图论、代数结构，第六部分介绍离散数学在计算机科学中的一些典型应用。 本书在每章后面配备了相当数量的难易程度不同的练习题，并在附录中给出了几套模拟试题，供读者进行自测。 本书内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，适合作为高?院校计算机和软件工程专业及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。
目录
前言
**部分 数理逻辑
第1章 命题逻辑
1．1 命题与逻辑联结词
1．2 命题公式及其赋值
1．3 命题公式的等价
1．4 联结词的完备集
1．5 命题公式的范式表示
1．6 命题公式的蕴涵
1．7 命题逻辑的推理方法
习题一
第2章 一阶谓词逻辑
2．1 量词化逻辑
2．2 谓词公式及其赋值
? 2．3 谓词公式的等价与范式表示
**部分 数理逻辑
第1章 命题逻辑
1．1 命题与逻辑联结词
1．2 命题公式及其赋值
1．3 命题公式的等价
1．4 联结词的完备集
1．5 命题公式的范式表示
1．6 命题公式的蕴涵
1．7 命题逻辑的推理方法
习题一
第2章 一阶谓词逻辑
2．1 量词化逻辑
2．2 谓词公式及其赋值
? 2．3 谓词公式的等价与范式表示
展开全部
本类五星书
浏览历史
本类畅销
-
世纪幽灵-走近量子纠缠
¥9.9¥28.0 -
昆虫的生存之道
¥12.2¥38.0 -
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
昆虫采集制作及主要目科简易识别手册
¥15.0¥50.0 -
技术史入门
¥14.4¥48.0 -
物理学之美-插图珍藏版
¥29.0¥69.0 -
天文学卷-异想天开-古今中外天文简史-《中国大百科全书》普及版
¥5.1¥19.0 -
几何原本
¥44.0¥93.6 -
艾萨克·牛顿、理性时代与现代科学的肇始(八品-九品)
¥24.0¥96.0 -
现代科技中的天文学
¥4.6¥13.0 -
怎样解题
¥24.1¥29.0 -
天演论-英文版
¥13.3¥36.0 -
菌络万象
¥66.0¥88.0 -
脑科学:大脑进化简史
¥37.1¥58.0 -
数据建模与计算案例
¥77.4¥98.0 -
《生物化学》笔记和课后习题(含考研真题)详解
¥50.2¥88.0 -
曲线与曲面的工程微分几何学
¥235.4¥298.0 -
经典数值算法及其Maple实现
¥67.2¥79.0 -
气候文明史
¥42.8¥69.0 -
笛卡尔几何
¥32.6¥48.0
