《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究

本书结合作者多年的教学经验和科研成果，并吸收国内外同类教材的优点编写而成的。内容包括：行列式、矩阵、线性方程组、线性空间与线性变换、相似矩阵、二次型及附录线性代数MATLAB实验简介。 本书以线性方程组为出发点，以矩阵为工具，深入浅出通俗自然地阐明了线性代数的基本概念、基本理论和基本方法；章前给了知识结构图，给学生以“

《几何画板课件制作教程(第3版)》主要以范例的形式全面介绍新版几何画板软件的新功能、新特点，并结合数学课件特点系统地介绍课件设计开发的方法和技巧。结合开发过程挖掘几何画板的潜在功能及技巧，创意出许多新的知识内容表现方式和方法，将一个二维工具推广到三维空间的应用，极大地丰富了几何画板的创作空间。另外随书光盘中收录了大量的

这本书，会让你领悟到数学的真正艺术，欣赏到数学，另一种自然的语言的活力，聆听到一个个绘声绘色的数学故事，重温从占希腊到21世纪的许多数学轶事，了解数学发展史上有趣而深奥的难解之谜，浏览17世纪至21世纪一个个数学的革命性变化和大事。展望数学的发展和未来，让你走进数学的殿堂，探寻数学的奥秘。接近她，你也会收获多多，快乐多

《线性代数（第2版）》是根据高等教育本科线性代数课程的教学基本要求编写而成的。主要内容有：n阶行列式、矩阵与向量、矩阵的运算、线性方程组、相似矩阵与二次型、线性空间与线性变换、矩阵理论与方法的应用。书后附有部分习题参考答案。书末的附录中选编了2003年至2009年全国硕士研究生入学考试中线性代数的部分试题。《线性代数（

《抽象代数1：代数学基础》可作为高等院校数学专业本科生及理工科研究生抽象代数课程的教材，也可供有关科技人员及大专院校师生自学参考。抽象代数（或近世代数）是数学的一个基础学科，也是数学及相关专业的基础课程．南开大学“抽象代数”课程的改革是陈省身生前倡导的南开大学数学专业教学改革的一部分，《代数学基础》是该课程改革后使用的

本书是与普通高等教育“十一五”国家级规划教材《大学文科高等数学（第2版）》配套的教学辅导书，每章内容包括知识点总结和复习、基本要求、典型例题分析、练习题解答与分析等。根据教材的使用意见，辅导书中将增加供授课教师参考的教材讲法分析。本书可供使用主教材的教师和学生参考之用。

数学真正意义上研究退化和奇异抛物偏微分方程是近些年才开始的，起源于60年代中叶DeGiorgi，Moser，Ladyzenskajia和Ural’tzeva这些人的工作。本书是近些年来该领域的进展的综述。其基本思想来自上个世纪90年代作者在波恩大学的Lipschitz讲义。目次：函数空间；弱解和局部能量估计；退化抛物方

本书介绍了高等数学中的相关知识，分5章：多元函数微分法及其应用，重积分，曲线积分与曲面积分，无穷级数，微分方程。结构严谨，内容丰富，语言流畅，适合高等院校“高等数学”课程教学需要，也可供相关自学者、工程技术人员参考、使用。

《微分几何例题详解和习题汇编》是数学专业和相关专业微分几何课程的教学参考书，也是与作者编著的普通高等教育“十五”国家规划教材《微分几何》(北京大学出版社，2006年)相配套的教学辅助参考书。《微分几何例题详解和习题汇编》是作者在北京大学长期从事微分几何课程教学经验的积累，反映了微分几何学科从外在理论到内在理论的发展趋势