您好,欢迎光临有路网!
离散数学
QQ咨询:
有路璐璐:

离散数学

  • 作者:陈国勋 刘书芳 周文俊
  • 出版社:机械工业出版社
  • ISBN:9787111167044
  • 出版日期:2005年09月01日
  • 页数:240
  • 定价:¥25.00
  • 分享领佣金
    手机购买
    城市
    店铺名称
    店主联系方式
    店铺售价
    库存
    店铺得分/总交易量
    发布时间
    操作

    新书比价

    网站名称
    书名
    售价
    优惠
    操作

    图书详情

    内容提要
    本书系作者根据多年的教学经验和教案个性整理而成。全书共分11章,第1、2章为数理逻辑部分,第3至5章及第11章为集合论部分,第6至8章为图论部分,第9及10章为代数系统部分。书中精选了大量实例,力求深入浅出地介绍与计算机科学密切相关的课程,既着重于各种分内容之间的紧密联系,又深入探讨概念、理论、算法和实际应用。各章节配备的习题与书后的提示和答案为读者迅速掌握有关知识提供有效帮助。‘
    目录
    第1章命题逻辑
    1.1基本概念
    1.1.1命题
    1.1.2连接词
    1.1.3公式
    1.1.4重言式
    习题
    1.2公式的等价关系
    1.2.1等价
    1.2.2等价代换
    1.2.3对偶性
    习题
    1.3范式
    1.3.1范式
    1.3.2主析取范式
    1.3.3主合取范式
    1.3.4判定问题
    习题
    1.4公式的蕴涵关系
    1.4.1蕴涵
    1.4.2论证
    习题
    1.5连接词的完备集合
    习题
    1.6半形式化推导方法
    1.6.1推理规则
    1.6.2推导举例
    1.6.3间接推导方法
    习题
    第2章谓词逻辑
    2.1谓词与量词
    习题
    2.2合式公式
    2.2.1公式
    2.2.2自由变元和约束变元
    习题
    2.3谓词演算中的永真公式
    2.3.1基本概念
    2.3.2谓词演算的基本永真式
    2.3.3谓词演算的基本永真式表
    2.3.4前缀范式
    习题
    2.4谓词演算中的半形式化推导
    2.4.1推理规则
    2.4.2推导举例
    2.4.3间接推导方法
    习题
    第3章集合
    3.1集合的基本概念
    3.1.1集合与元素
    3.1.2集合间的关系
    3.1.3幂集
    习题
    3.2集合的运算
    3.2.1集合的交与并
    3.2.2集合的差与补
    3.2.3集合的对称差
    习题
    3.3n元组与笛卡儿乘积
    习题
    第4章二元关系
    4.1二元关系的概念
    4.1.1基本定义
    习题
    4.2二元关系的基本特性
    习题
    4.3合成关系与逆关系
    ……
    第5章映射
    第6章图的基本概念
    第7章树
    第8章特殊图
    第9章代数结构
    第10章格与布尔代数
    第11章组合与计数基础
    部分习题答案及提示
    参考文献
    编辑推荐语
    离散数学是计算机科学基础理论的核心学科。本书系作者根据多年的教学经验和教案修改整理而成。书中精选了大量实例,力求深入浅出地介绍与计算机科学密切相关的课题,既着重于各部分内容之间的紧密联系,又深入探讨概念、理论、算法和实际应用。各章节配有相当数量的习题,书后的提示和答案可为读者迅速掌握有关知识提供有效帮助。
    本书可作为高等院校计算机和相关专业离散数学课程的教材,也可供有关技术人员学习参考。

    与描述相符

    100

    北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外