离散数学（21世纪高等院校创新精品规划教材）

离散数学（21世纪高等院校创新精品规划教材）

分享

作者: 邱晓红主编

出版社: 水利水电出版社

出版时间: 2010-02

版次: 1

ISBN: 9787508465470

定价: 34.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 324页

字数: 42千字

丛书: 21世纪高等院校创新精品规划教材

分类: 教材教辅考试>教材>大学教材>工程技术

1人买过

本书包含四部分内容：数理逻辑、集合论、代数结构、图论。每部分内容结合建构主义教学理论，设计不同离散数学应用案例，提供学习《离散数学》知识点的应用场景。每一章选择有意义的范例和实验项目，有利于学生通过编程实践增进对离散数学知识的理解和应用，提高学生的学习兴趣。全书体系严谨、叙述深入浅出。


  每部分内容都分为基础知识章节和高级应用章节(带*部分)，便于教师根据学时要求选讲章节内容，适合不同学时的授课，也方便软件开发人员参考应用。


  本书可作为普通高等学校计算机及相关专业本科生“离散数学”课程的教材，也可供其他专业学生、工作人员及软件开发人员阅读和参考。有些高级应用范例还可供硕士研究生学习参考。前言

第一部分  数理逻辑

第1章  命题逻辑

  1．1  命题及其表示

    1．1．1  命题的基本概念

    1．1．2  命题分类

    1．1．3  命题标识符

  1．2  逻辑联结词

    1．2．1  否定联结词

    1．2．2  合取联结词

    1．2．3  析取联结词

    1．2．4  条件联结词

    1．2．5  双条件联结词

    1．2．6  字位运算与布尔检索

  1．3  命题公式与解释

    1．3．1  命题公式

    1．3．2  命题的符号化

  1．4  真值表与等价公式

    1．4．1  真值表

    1．4．2  等价公式

  1．5  命题公式的分类与蕴含式

    1．5．1  命题公式的分类

    1．5．2  重言式与矛盾式的性质

    1．5．3  蕴含式

  1．6  其他逻辑联结词和最小功能完备联结词组

    1．6．1  其他逻辑联结词

    1．6．2 最小功能完备联结词组

    1．6．3  联结词的逻辑电路表示

  1．7  对偶与范式

    1．7．1  对偶式与对偶原理

    1．7．2  命题公式的范式

    1．7．3  命题公式的主析取范式和主合取范式

  1．8  推理理论

    1．8．1  直接证法

    1．8．2  间接证法

    习题一

    实验一  真值表的程序计算

  第2章  谓词逻辑

  第3章  基于归结原理的推理证明料

第二部分  集合论

  第4章  集合及其运算

  第5章  二元关系

  第6章  函数

  第7章  集合的基数

第三部分  代数结构

  第8章  半群、语言和自动机

  第9章  代数系统

  第10章  格与布尔代数

第四部分  图论

  第11章  图的基本概念

  第12章  树

  第13章  支配集、覆盖集、独立集与匹配理论

《离散数学》常用符号表

参考文献
内容简介:
本书包含四部分内容：数理逻辑、集合论、代数结构、图论。每部分内容结合建构主义教学理论，设计不同离散数学应用案例，提供学习《离散数学》知识点的应用场景。每一章选择有意义的范例和实验项目，有利于学生通过编程实践增进对离散数学知识的理解和应用，提高学生的学习兴趣。全书体系严谨、叙述深入浅出。


  每部分内容都分为基础知识章节和高级应用章节(带*部分)，便于教师根据学时要求选讲章节内容，适合不同学时的授课，也方便软件开发人员参考应用。


  本书可作为普通高等学校计算机及相关专业本科生“离散数学”课程的教材，也可供其他专业学生、工作人员及软件开发人员阅读和参考。有些高级应用范例还可供硕士研究生学习参考。
目录:
前言

第一部分  数理逻辑

第1章  命题逻辑

  1．1  命题及其表示

    1．1．1  命题的基本概念

    1．1．2  命题分类

    1．1．3  命题标识符

  1．2  逻辑联结词

    1．2．1  否定联结词

    1．2．2  合取联结词

    1．2．3  析取联结词

    1．2．4  条件联结词

    1．2．5  双条件联结词

    1．2．6  字位运算与布尔检索

  1．3  命题公式与解释

    1．3．1  命题公式

    1．3．2  命题的符号化

  1．4  真值表与等价公式

    1．4．1  真值表

    1．4．2  等价公式

  1．5  命题公式的分类与蕴含式

    1．5．1  命题公式的分类

    1．5．2  重言式与矛盾式的性质

    1．5．3  蕴含式

  1．6  其他逻辑联结词和最小功能完备联结词组

    1．6．1  其他逻辑联结词

    1．6．2 最小功能完备联结词组

    1．6．3  联结词的逻辑电路表示

  1．7  对偶与范式

    1．7．1  对偶式与对偶原理

    1．7．2  命题公式的范式

    1．7．3  命题公式的主析取范式和主合取范式

  1．8  推理理论

    1．8．1  直接证法

    1．8．2  间接证法

    习题一

    实验一  真值表的程序计算

  第2章  谓词逻辑

  第3章  基于归结原理的推理证明料

第二部分  集合论

  第4章  集合及其运算

  第5章  二元关系

  第6章  函数

  第7章  集合的基数

第三部分  代数结构

  第8章  半群、语言和自动机

  第9章  代数系统

  第10章  格与布尔代数

第四部分  图论

  第11章  图的基本概念

  第12章  树

  第13章  支配集、覆盖集、独立集与匹配理论

《离散数学》常用符号表

参考文献

查看详情

相关分类

一年级二年级三年级四年级五年级六年级小升初小学通用初一初二初三中考初中通用高一高二高三

离散数学（21世纪高等院校创新精品规划教材）【正版有货可开发票】

全新

雅逸阁书店

海南省海口市

平均发货22小时成功完成率80.86%

￥35.00

券

100减20

立即购买加入购物车不属于本条目
离散数学邱晓红中国水利水电出版社 9787508465470 正版旧书正版旧书里面部分笔记内容完好可正常使用旧书不附带光盘

九五品

辉煌二手教材专营店

江西省南昌市

平均发货10小时成功完成率94.49%

￥0.10

券

100减20

立即购买加入购物车不属于本条目
离散数学邱晓红中国水利水电出版社 9787508465470 正版旧书里面部分笔记内容完好可正常使用旧书不附带光盘

九品

有路官方旗舰店

江西省南昌市

平均发货10小时成功完成率93.28%

￥4.90

券

100减20

立即购买加入购物车不属于本条目
离散数学（21世纪高等院校创新精品规划教材）【标题与图片不一致时,请质询，正版有货可开发票】

全新

雅逸阁书店

海南省海口市

平均发货22小时成功完成率80.86%

￥35.00

券

100减20

立即购买加入购物车不属于本条目
离散数学（21世纪高等院校创新精品规划教材）正版

全新

红梅书店的书店

北京市通州区

平均发货15小时成功完成率91.18%

￥10.00

券

100减20

立即购买加入购物车
离散数学（21世纪高等院校创新精品规划教材）【正版图书可开发票】【支持7天无理由退回】详情可咨询

全新

筱雨文库

广东省汕头市

平均发货10小时成功完成率91.17%

￥31.00

券

100减20

立即购买加入购物车不属于本条目
离散数学（21世纪高等院校创新精品规划教材）【正版有货可开发票】

全新

翰林阁书店

海南省海口市

平均发货23小时成功完成率86.62%

￥35.00

券

100减20

立即购买加入购物车不属于本条目