离散数学(第二版)(21世纪高等院校规划教材)

离散数学(第二版)(21世纪高等院校规划教材)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: 主编
2016-08
版次: 2
ISBN: 9787517045748
定价: 36.00
装帧: 平装
开本: 16开
纸张: 胶版纸
  • 离散数学是计算机科学基础理论的核心课程,是 高等院校计算机专业必修的重要专业基础课程。贾振 华主编的《离散数学(第2版21世纪高等院校规划教材 )》介绍了离散数学的基础理论知识,全书共分11章 :包括命题逻辑、谓词逻辑、集合、关系、函数、集 合的基数、图、欧拉图和哈密尔顿图、特殊图、代数 结构、格与布尔代数等内容?br/>
      
      本书内容安排合理、体系严谨,叙述力求深入浅 出、简明扼要,书中配有典型例题和习题,并与计算 机科学的理论和实践紧密结合?br/>
      
      本书可作为高等院校计算机及其相关专业离散数 学课程的教材,也可供从事计算机工作的科学技术人 员以及相关人员使用或参考?br/> 第二版前言第一版前言第一部分  数理逻辑第1章  命题逻辑  本章学习目标  1.1  命题和命题联结词    1.1.1  命题    1.1.2  命题联结词  1.2  命题公式与解释    1.2.1  命题公式    1.2.2  命题公式的解释  1.3  真值表与等价公式    1.3.1  真值表    1.3.2  命题公式的分类    1.3.3  等价公式    1.3.4  代入规则和替换规则  1.4  对偶定理  1.5  范式    1.5.1  合取范式和析取范式    1.5.2  主析取范式和主合取范式  1.6  公式的蕴涵    1.6.1  蕴涵的概念    1.6.2  蕴涵式的证明方法    1.6.3  基本蕴涵式  1.7  其他联结词与最小联结词组    1.7.1  其他联结词    1.7.2  最小联结词组  l.8  命题逻辑推理理论    1.8.1  命题逻辑推理理论    1.8.2  推理规则    1.8.3  判断有效结论的常用方法  本章小结  习题1第2章  谓词逻辑  本章学习目标  2.1  谓词逻辑命题的符号化    2.1.1  个体词与谓词    2.1.2  量词    2.1.3  谓词逻辑中命题的符号化  2.2  谓词逻辑公式与解释    2.2.1  谓词逻辑的合式公式    2.2.2  谓词的约束和替换    2.2.3  谓词逻辑公式的解释  2.3  谓词逻辑公式的等价与蕴涵    2.3.1  谓词逻辑的等价公式    2.3.2  谓词逻辑的蕴涵公式    2.3.3  多个量词的使用  2.4  前束范式  2.5  谓词逻辑的推理理论  本章小结  习题2第二部分  集合论第3章  集合  本章学习目标  3.1  集合的概念与表示    3.1.1  集合的基本概念    3.1.2  集合的表示    3.1.3  集合之间的关系  3.2  集合的运算……第三部分  图论第四部分  代数系统
  • 内容简介:
    离散数学是计算机科学基础理论的核心课程,是 高等院校计算机专业必修的重要专业基础课程。贾振 华主编的《离散数学(第2版21世纪高等院校规划教材 )》介绍了离散数学的基础理论知识,全书共分11章 :包括命题逻辑、谓词逻辑、集合、关系、函数、集 合的基数、图、欧拉图和哈密尔顿图、特殊图、代数 结构、格与布尔代数等内容?br/>
      
      本书内容安排合理、体系严谨,叙述力求深入浅 出、简明扼要,书中配有典型例题和习题,并与计算 机科学的理论和实践紧密结合?br/>
      
      本书可作为高等院校计算机及其相关专业离散数 学课程的教材,也可供从事计算机工作的科学技术人 员以及相关人员使用或参考?br/>
  • 目录:
    第二版前言第一版前言第一部分  数理逻辑第1章  命题逻辑  本章学习目标  1.1  命题和命题联结词    1.1.1  命题    1.1.2  命题联结词  1.2  命题公式与解释    1.2.1  命题公式    1.2.2  命题公式的解释  1.3  真值表与等价公式    1.3.1  真值表    1.3.2  命题公式的分类    1.3.3  等价公式    1.3.4  代入规则和替换规则  1.4  对偶定理  1.5  范式    1.5.1  合取范式和析取范式    1.5.2  主析取范式和主合取范式  1.6  公式的蕴涵    1.6.1  蕴涵的概念    1.6.2  蕴涵式的证明方法    1.6.3  基本蕴涵式  1.7  其他联结词与最小联结词组    1.7.1  其他联结词    1.7.2  最小联结词组  l.8  命题逻辑推理理论    1.8.1  命题逻辑推理理论    1.8.2  推理规则    1.8.3  判断有效结论的常用方法  本章小结  习题1第2章  谓词逻辑  本章学习目标  2.1  谓词逻辑命题的符号化    2.1.1  个体词与谓词    2.1.2  量词    2.1.3  谓词逻辑中命题的符号化  2.2  谓词逻辑公式与解释    2.2.1  谓词逻辑的合式公式    2.2.2  谓词的约束和替换    2.2.3  谓词逻辑公式的解释  2.3  谓词逻辑公式的等价与蕴涵    2.3.1  谓词逻辑的等价公式    2.3.2  谓词逻辑的蕴涵公式    2.3.3  多个量词的使用  2.4  前束范式  2.5  谓词逻辑的推理理论  本章小结  习题2第二部分  集合论第3章  集合  本章学习目标  3.1  集合的概念与表示    3.1.1  集合的基本概念    3.1.2  集合的表示    3.1.3  集合之间的关系  3.2  集合的运算……第三部分  图论第四部分  代数系统
查看详情
相关图书 / 更多
离散数学(第二版)(21世纪高等院校规划教材)
离散时间系统滤波的数学方法
中国科学院数学研究所概率组 编著
离散数学(第二版)(21世纪高等院校规划教材)
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学(第二版)(21世纪高等院校规划教材)
离散数学(第二版)
邹丽娜;董丽薇
离散数学(第二版)(21世纪高等院校规划教材)
离散数学(第2版)
蔡之华
离散数学(第二版)(21世纪高等院校规划教材)
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学(第二版)(21世纪高等院校规划教材)
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学(第二版)(21世纪高等院校规划教材)
离散数学
胡新启;季霞;杨志坚
离散数学(第二版)(21世纪高等院校规划教材)
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学(第二版)(21世纪高等院校规划教材)
离散数学及其应用
孙志海
离散数学(第二版)(21世纪高等院校规划教材)
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学(第二版)(21世纪高等院校规划教材)
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学(第二版)(21世纪高等院校规划教材)
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂