注册 登录 进入教材巡展
#
  • #
推荐纸质教材 推荐数字资源

出版时间：2015年4月

出版社：高等教育出版社

以下为《离散数学（第2版）》的配套数字资源，这些资源在您购买图书后将免费附送给您：
关闭
基本信息 评价
  • 高等教育出版社
  • 9787040419085
  • 2版
  • 65360
  • 0044161799-0
  • 异16开
  • 2015年4月
  • 580
  • 402
  • 理学
  • 数学
  • O158
  • 计算机科学与技术、电子信息科学类
  • 本科
内容简介
本书是在一版的基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。有与本书配套的电子教案与学习指导与习题解析。
本书可以作为普通高等学校计算机科学与技术专业、软件工程专业、计算机应用专业、信息与计算科学专业等本科生离散数学课程的教材，也可以供其他专业学生和科技人
目录
  • 前言
  • 第1部分 数理逻辑
  • 第1章 命题逻辑的基本概念
    • 1.1命题与联结词
    • 1.2命题公式及其赋值
    • 习题1
  • 第2章 命题逻辑等值演算
    • 2.1等值式
    • 2.2析取范式与合取范式
    • 2.3联结词的完备集
    • 2.4可满足性问题与消解法
    • 习题2
  • 第3章 命题逻辑的推理理论
    • 3.1推理的形式结构
    • 3.2自然推理系统P
    • 3.3消解证明法
    • 习题3
  • 第4章 一阶逻辑基本概念
    • 4.1一阶逻辑命题符号化
    • 4.2一阶逻辑公式及其解释
    • 习题4
  • 第5章 一阶逻辑等值演算与推理
友情链接 中国出版集团公司 新华书店总店 中国出版协会 中国编辑学会 高等教育出版社 机械工业出版社 科学出版社 化学工业出版社 中国电力出版社 电子工业出版社 人民交通出版社 中国人民大学出版社 北京大学出版社 清华大学出版社 人民邮电出版社 中国农业出版社 中国建筑工业出版社 人民卫生出版社 大连理工大学出版社 北京理工大学出版社 郑州大学出版社 北京师范大学出版社 南开大学出版社 武汉大学出版社 北京出版社 地质出版社 东北财经大学出版社有限责任公司 法律出版社有限公司 中国农业科学技术出版社 中国科学技术大学出版社 重庆大学出版社 西南大学出版社 上海交通大学出版社 中国水利水电出版社 华东师范大学出版社 外语教学与研究出版社 复旦大学出版社 中国中医药出版社
© 2018-2025 新华国采教育网络科技有限责任公司 版权所有

  • 客服热线：010-88362023、010-88361712

    京ICP备16053406号

  • 出版物经营许可证：新出发京零字第西160035号

    京公网安备 11010202007778号

  • 信息系统安全等级保护（三级）备案证明编号：11010243697-20001

    增值电信业务经营许可证编号：京B2-20170886