《数理逻辑（第2版）》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。
    《数理逻辑（第2版）》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定

       本书内容分为:行列式、矩阵及其初等变换与解线性方程组、矩阵的运算、向量的线性相关性与线性议程组的解的结构、特征值与特征向量等七章。

《线性代数学习指导与习题解答》是根据工科类本科数学基础课程教学基本要求编写的，也是编者多年从事线性代数课程教学和辅导的总结。《线性代数学习指导与习题解答》共六章，包括矩阵、线性方程组、线性空间与线性变换、行列式、特征值与特征向量、二次型。书中不仅分析了各个章节的重点内容，而且整理出了主

    离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是随着计算机科学的发展而逐步建立的。它形成于20世纪70年代初期，是一门新兴的工具性学科。为适应计算机科学教学的需要，组织编写了这本理工科院校计算机专业适用的基础教材。
    内容包括：数理逻辑；谓词逻辑；集合代数；二元关系；函数；代数结构；格与布尔代数；图论等。
    《离散

本书为普通高等教育“十一五”规划教材。
全书共分为五篇，主要内容包括命题逻辑和谓词逻辑的基本概念和推理理论：集合的基本知识、关系和函数；半群与群、环与域、格与布尔代数等代数系统的基本概念与性质；欧拉图、哈密尔顿图、二部图、

    《线性代数》根据高等院校经济、管理类专业数学课程的教学要求编写。《线性代数》共七章，主要介绍行列式、矩阵、向量空间、线性方程组、矩阵对角化、二次型、线性空间与线性变换。除第七章外，每章都配有典型例题分析。《线性代数》体系完整，结构合理，叙述清楚，条理清晰，习题量丰富，并附有习题答案，可供高等院校经济、管理类专业学生选用，也可供科技工作者参考。

    线性代数是高等本科院校理、工、农、医、经、管各专业的一门重要基础课程。《线性代数（理工类）》是根据国家教育部高等教育本科线性代数课程的基本要求，结合作者多年教授本课程的体会而编写的，并与高中新的数学课程标准具有较好衔接的一本教材。
    《线性代数（理工类）》包含了线性代数的传统内容：矩阵、线性方程组、行列式、向量与向量空间、矩阵的相似对角化、二次型、线性变换和线性空间；同时，为了适应科学技术的发展和

    本书内容包括矩阵的标准型，向量范数与矩阵范数，矩阵分解，特征值的估计与计算，广义逆矩阵，矩阵函数，线性方程组的直接解法，线性最小二乘问题，线性方程组的迭代解法等内容，最后一章介绍线性空间与线性变换，是线性代数相关内容的简介。《矩阵分析与计算》的特点之一是在介绍矩阵论有关基础理论的同时，引入矩阵计算的相关内容，使读者能将解决问题的精确方法与近似方法进行对比，了解到精确方法在实际计算中的缺陷以及近似方法在实际应用中的有效性。
 &nbs

　　《“十二五”高等院校公共数学教材：线性代数（第2版）》是依据教育部关于工科类本科“线性代数”课程教学的基本要求，全国硕士研究生入学考试大纲的有关部分，结合编者丰富的教学经验，同时借鉴当前教材建设与改革的成功举措编写而成的。具有内容循序渐进、语言通俗易懂、逻辑清楚、知识覆盖面广的特点。全书分为六章，涵盖了线性代数的基本内容，包括矩阵、行列式与矩阵的秩、向量组和线性方程组、矩阵的特征值与二次型、向量空间与线性变换、线性代数实验。附录还有线性代数发展简介及与之有关的数学家简介。
　　在

　　《线性代数》针对应用型人才培养的特点及当前应用型本科、独立学院线性代数的实际教学情况，注重概念、理论背景，强调线性代数基本思想、方法，恰当介绍线性代数的基本应用和计算机实验。《线性代数》结构和内容吸收了近年来线性代数课程及教材建设的经验和成果，在满足线性代数教学基本要求的前提下，注