本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。

本书致力于适应普通本科高校的数学建模教学，力求做到内容简明扼要、浅显易懂，让学生既学到基本的建模方法，又有扩展学习的空间。本书采用了目前比较流行的Python语言进行数值实验。全书主要内容包括插值与拟合、微分方程、图与网络优化、线性规划、非线性规划、数据的统计描述、统计分析、综合评价方法等。本书还提供所有例题的Pyth

本书主要研究数学分析中的微分与积分及相关的一些问题。内容包括一元函数微分学、一元函数微分法的应用、一元函数积分学和多元函数及其微分学等。本书在内容的安排上，深入浅出，表达清楚，可读性和系统性强。书中主要通过一些疑难解析和大量的典型例题来解析数学分析的内容和解题方法，并提供了一定数量的进阶练习题，便于教师在习题课中使用，

完美数和斐波那契序列是两个著名的数论问题和研究对象，两者都有着非常悠久的历史。本书介绍了它们的发展史和现当代研究进展，包括作者、他的团队和同代人的研究成果。特别地，作者提出了平方完美数问题，并首次揭示了古老的完美数问题与日世纪的斐波那契序列中的素数对之间的联系，这与18世纪瑞士大数学家欧拉将完美数问题与17世纪的梅森素

把数学思维应用到日常生活中可以比较容易看到事物的本质。这里所说的数学思维并不是具体的解决数学问题、证明或运算，而是数学中的逻辑思路、推理方法的一般应用。数学思维是一种生活习惯。这本书收录了作者多年以来的数学杂文，以讲故事的形式展现生活中与数学有关的趣事、处理方法，比如面试中的数学问题，赌场里的数学思路，或者电影中的逻辑

本书主要介绍图矩阵的理论和应用这一领域的若干研究专题，整理了图矩阵的基本性质和一些经典结果，同时也包括了同行专家和作者近年来的一些研究成果和进展。全书共9章，介绍了矩阵论基础知识、图的邻接矩阵和拉普拉斯矩阵的基本理论及其应用、图的星集与线星集、图的谱刻画、图的生成树计数、图的电阻距离、图的状态转移以及图矩阵与网络中心性

本书是在作者原有高等代数讲义的基础上，充分借鉴国内外高校常用“高等代数”和“线性代数”教材的优点，顺应南京大学本科教育“三三制”人才培养体系的要求，为综合性大学本科生编写的一本“高等代数”教材。书中内容包括整数与多项式、行列式与矩阵、线性方程组、线性空间、线性映射、λ-矩阵、二次型、内积空间、双线性函数。相关内容的选择

本书为数学分析的学习指导书，是丁彦恒、刘笑颖、吴刚编写的《数学分析讲义》、二、兰卷的配套用书。主要内容除了经典的一元微积分、多元微积分、级数理论与含参积分之外，还包括拓扑空间的酣古、流形及微分形式、流形上微分形式的积分、向量分析与场论、线性赋范空间中的微分学和傅里叶变换等。为了便于读者复习与自查，每一章中都包含了知识点

《大学数学简明教程》根据专科、高职院校的数学相关课程的基本要求为出发点编写而成。大学数学简明教程按照内容分为三部分：高等数学、线性代数、概率论与数理统计。在本书中涵盖了以上三部分，共分为十章。主要内容有：函数与极限、导数与微分、导数的应用、不定积分、定积分及其应用、微分方程、线性代数、随机事件与概率、随机变量及其分布、

本书为河南省“十四五”普通高等教育规划教材、河南省数学教学指导委员会推荐用书。本书是按照新时代一流本科教育、一流专业建设、一流课程建设总体要求，根据高等数学课程教学大纲基本要求，适应现代教育发展趋势，参考吸收国内外多本同类优质教材特长，结合地方高校学生特点和作者多年教学实践及教学经验，编写而成的。全书共有九章，分为上、