- 离散数学教程(第2版)
- - 作者：编者:王元元//宋丽华//王兆丽//韩敬利
  - 出版社：高等教育
  - ISBN：9787040512984
  - 出版日期：2019/07/01
  - 页数：386
- 售价：18.4

内容大纲
    本书针对综合性大学和工程类院校计算机类专业本科生进行选材与编撰，内容覆盖ACM计算机科学课程体系规范2013（Computer Science Cur-ricula 2013）中离散结构知识领域下除离散概率之外的全部知识点。
    从离散结构形式化表示理论到各类离散结构及其数学模型的介绍，该书在内容组织上力求做到突出知识内在联系与保持知识模块完整性之间的平衡，从而使教材更具可读性和系统性。该书章节内容不仅覆盖集合论、数理逻辑、组合论、图论、可计算性、抽象代数等基础理论部分，还给出了这些基本理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用，并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。该书以离散结构为建模对象，紧密联系计算机科学技术，特别强调应用能力、证明技术、计算思维的培养。
    为便于学生及时复习并巩固所学知识，该书在每节后安排了大量习题；同时，为便于学有余力的学生进一步深造，每章后安排了一节阅读材料，以此来对本章所介绍的理论进行深入探讨，或进一步介绍技术的相关应用。
    本书不仅可用作高等学校计算机类专业本科生的离散数学课程教材，也可供相关工程技术人员阅读参考。
作者介绍
目录
第1章  逻辑代数（上）：命题演算
  1.1  逻辑联结词与命题公式
    1.1.1  命题
    1.1.2  逻辑联结词
    1.1.3  命题公式
    1.1.4  语句形式化
    练习1.1
  1.2  命题演算永真式
    1.2.1  重言式
    1.2.2  逻辑等价式与逻辑蕴涵式
    1.2.3  对偶原理
    1.2.4  逻辑应用
    练习1.2
  1.3  范式
    1.3.1  析取范式与合取范式
    1.3.2  主析取范式与主合取范式
    1.3.3  联结词的扩充与归约
    练习1.3
  *1.4  命题演算消解原理
    练习1.4
  1.5  阅读材料：布尔代数
第2章  逻辑代数（下）：谓词演算
  2.1  谓词演算基本概念
    2.1.1  个体
    2.1.2  谓词
    2.1.3  量词
    2.1.4  谓词公式及语句形式化
    练习2.1
  2.2  谓词演算永真式
    2.2.1  谓词公式的语义
    2.2.2  几组谓词演算永真式
    2.2.3  谓词公式等价变换的几个基本原理
    练习2.2
  *2.3  谓词演算消解原理
    2.3.1  前束化与消去量词
    2.3.2  谓词演算消解原理简介
    练习2.3
  2.4  阅读材料：形式推理与形式系统
    2.4.1  一个形式系统的例子
    2.4.2  自然推理形式系统ND
第3章  集合代数
  3.1  集合的概念与表示
    3.1.1  集合基本概念
    3.1.2  集合的表示
    3.1.3  外延性原理与子集合
    练习3.1
  3.2  集合运算
    3.2.1  并、交、差、补运算
    3.2.2  环和与环积运算
    3.2.3  幂集与广义并、交运算

    练习3.2
  3.3  集合的笛卡儿积
  ……
第4章  计数
第5章  关系
第6章  函数
*第7章  可计算函数
第8章  图与树
第9章  特殊图
第10章  代数结构通论
第11章  群、环、域
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目