包邮离散数学
1星价
¥26.5
(8.8折)
2星价￥26.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 谓词公式的等价与范式表示
展开全部
本类五星书
浏览历史
本类畅销
-
13次时空穿梭之旅
¥20.1¥59.0 -
改变世界的发现
¥17.8¥48.0 -
勒维特之星-大发现系列丛书
¥5.0¥16.0 -
130种美鸟彩图馆
¥15.3¥39.8 -
世纪幽灵-走近量子纠缠
¥9.4¥28.0 -
艾萨克·牛顿、理性时代与现代科学的肇始(八品-九品)
¥25.0¥96.0 -
大学物理简明教程·第4版
¥45.4¥56.0 -
趣味物理学问答
¥15.7¥46.0 -
数学的魅力;初等数学概念演绎
¥9.4¥22.0 -
考研数学公式手册
¥2.2¥3.2 -
高等数学.第七版.下册
¥13.8¥42.8 -
濒危植物图鉴
¥131.3¥268.0 -
离散数学(第六版)
¥43.4¥49.9 -
中国古代天文历法与二十四节气
¥20.2¥40.0 -
模形式初步
¥133.5¥178.0 -
物理学之美-插图珍藏版
¥29.0¥69.0 -
递归求解
¥9.1¥28.0 -
从封闭世界到无限宇宙
¥48.6¥68.0 -
核科学基本原理
¥18.3¥39.8 -
昆虫采集制作及主要目科简易识别手册
¥16.0¥50.0
