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

有向图的理论、算法及其应用

微分方程的对称与积分方法

动力系统入门教程及最新发展概述

相识数学逻辑

本书是一本调和分析的入门书。全书分为三部分，首先，给出了直线R上的Fourier分析理论，包括Fourier级数和Fourier变换；接着，将1R上的Fourier分析思想推广到局部紧Abel群(LCA群)上；最后，介绍了非交换群上调和分析技巧，特另抛，以Heisenberg群为例描述了非紧非交换群上的Fourier分

本书坚持“古为今用”、“洋为中用”重视数学发展规律、数学思想和方法，以“尊重史实，突出重点”的原则选取史料，精选古今中外数学产生、发展的重要事件、重要人物和重要成果，将古代、近代和现代各国或地区的数学虫作简明、概括性的宏观介绍与评述。

代数几何引论（第二版）

《数学与猜想第二卷合情推理模式（数学名著译丛）》是《数学与猜想》的第二卷。这一卷系统地论述了合情推理的模式，评述它们彼此之间以及与概率计算的关系，并扼要地讨论了它们与数学发现及教学的关系。《数学与猜想第二卷合情推理模式（数学名著译丛）》将数学中的推理模式与生活中的实例相联系，论述深入浅出，读来令人兴味盎然。全书有大量习

本书共分六章，第一章线性代数概要与提高，总结了后续章节需要的线性方程组和矩阵的基本知识，给出了矩阵与线性方程组的几个应用实例；第二章矩阵与线性变换，讨论了子空间与直和分解及内积空间，详细研究了线性变换与矩阵的关系，简要介绍了构造新线性空间的几种方法，例举了子空间，正交性，线性变换，张量积等的应用；第三章特征值与矩阵的J