本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。

    全国高等教育自学考试指定教材
    计算机及应用专业（独立本科段）
    离散数学
   （2014年版）
   （含：离散数学自学考试大纲）
    全国高等教育自学考试指导委员会组编

    辛运帏编著

    机械工业出版社离散数学是高等教育自学考试计算机及应用专业（独立本科段）考试计划中规定的专业基础课，是计算机专业的许多专业课程必不可少的先修课程。本书根据全国高等教育自学考试指导委员会电子电工与信息类专业委员会制定的《离散数学自学考试大纲》，

第一章数域上的多项式与多项式函数，第二章关于线性空间和线性变换的基本概念，第三章线性相关性(线性代数的灵魂)，第四章线性空间的直和分解(环-模的特殊情形)，第五章初等变换,初等矩阵与矩阵的等价标准形的应用开发，第六章矩阵分块运算的应用开发，第七章自然数集与数学归纳法，第八章非Klein意义上的"高观点下的初等数学"

本书在保持传统教材优点的基础上，对教材内容、教材体系进行了适当的调整和优化，全书以线性方程组为主线，以矩阵为基本研究对象。第一部分由线性代数的几个重要概念出发，引出线性相关、线性无关和极大无关组的概念，突出线性相关、线性无关以及极大无关组的重要地位。第二部分为行列式的定义及运算，由实例引出，并对行列式算法要义、三大核心力量和算法基本流程等内容展开讨论。第三部分为矩阵的概念及运算，从特殊矩阵出发，并对分块矩阵、逆矩阵、初等矩阵等内容展开讨论。第四部分对向量组的线性相关性、向量组的秩展开讨

　　肖楚阳主编的《线性代数同步辅导及习题全解( 经济应用数学基础人大第4版新版)》是与中国人民大学出版社出版的、赵树螈主编的《经济应用数学基础( 二)线性代数(人大·第四版)》一书配套的同步辅导及习题全解辅导书。
　　本书共有五章，分别介绍行列式、矩阵、线性方程组、矩阵的特征值、二次型。本书按教材内容安排全书结构，各章均包括本章知识框架图、本章常考点归纳、本章知识回顾、常考基本题型、典型例题解析、考研真题精解、课后习题全解六部分内容。全书按教材内容，针对各章节习题给出详细解答

      本书主要包含了经典离散数学课程的基本知识，包括数理逻辑、集合论、图论和代数系统4个部分的内容。其中数理逻辑主要介绍如何用数学的符号和语言研究推理演绎的过程，包括命题逻辑和谓词逻辑两部分；集合论用抽象化的方法定义了集合之间的关系，以及集合元素之间的关系和运算，包含了集合、二元关系和函数3块内容；图论介绍了一种特殊的离散结构，以及在这种结构上的基本算法；代数系统从理论角度定义了运算，是抽象代数的基础。

　　《微积分（第2卷 英文版）》为《微积分》一书的第二卷，适用于工科院校非数学专业本科新生，亦可作为工程技术人员的参考书籍。本卷包含四个章节，内容涵盖多元函数微分学，多元函数积分学，第二型曲线积分、第二型曲面积分及无穷级数。《微积分（第2卷 英文版）》包含大量例题及习题。

　　《数学文化小丛书》精选对人类文明发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题。深入浅出地介绍数学文化的丰富内涵、数学发展史中的一些重要篇章以及一些名数学家的历史功绩和品质等内容，适于包括中学生在内的读者阅读。