本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。
在学校教育中，数学对发展学生的智力、培养学生的能力，特别是培养人的思维能力方面，是其他任何一门学科都无法代替的。但是从长期的教学中发现，尽管许多人都知道数学的重要性，很多学生却学得并不轻松，甚至很多学生会认为数学枯燥、艰深、难学。这极大地制约了学生学习数学的主动性，影响了他们的学习效果。《超好玩的600个数学游戏》精选
《线性代数及其应用（第四版）》按照教育部新制定的“工科类本科数学基础课程教学基本要求”，结合编者多年教学实践经验编写而成。《线性代数及其应用（第四版）》包括行列式、矩阵、向量空间、线性方程组、矩阵的特征值与特征向量、二次型、线性代数与数学软件。每节配有习题，每章配有总习题，均配有部分答案。《线性代数及其应用（第四版）》
《微积分（经管类）》根据教育部高等学校数学与统计学教学指导委员会制定的经济管理类本科专业《微积分》课程的教学基本要求，结合作者多年在微积分课程的教学实践与教学改革所积累的教学经验，并借鉴国内外同类教材的精华编写而成。《微积分（经管类）》共11章，内容包括：函数、极限与连续、导数与微分、微分中值定理与导数应用、不定积分、
本书共10章，分别介绍了函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用、常微分方程、空间解析几何、多元函数微积分、无穷级数和MATLAB基础及其应用等内容，附录给出了常用积分表。书中的重要知识点配有讲解视频，读者可通过扫书中二维码的方式及时获取。
热核长期以来一直都是古典和现代数学的基本工具，而从20世纪70年代开始几何分析成为重要的创新学科以来，热核在其中变得尤为重要。基于热核的方法广泛应用于分析、几何、概率论以及物理学中。《流形上的热核和分析》是对黎曼流形上的热核技术的全面概述，这必然包括对Laplace-Beltrami算子和相应热方程的分析。
本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容：一部分是地道的英文内容，另一部分为与之对应的中文介绍，这样安排的目的是培养读者用英文写作及思考的习惯，有困难时可以查看中文内容；或者先快速了解中文，再看英文表达。主要内容包括：简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作
《橡皮几何学漫谈/牛顿科学馆》一书选择了若干古老而有趣的、但属于拓扑学范畴的问题，包括哥尼斯堡七桥问、关于凸多面体的欧拉公式以及地图着色的四色问题等，而且介绍了关于拓扑学的一些基本概念和方法，还谈到了纽结和链环等。
《解析几何方法漫谈/牛顿科学馆》是一本关于解析几何的中学生课外数学科普读物，全书共分4章。1998年9月获第12届北方10省市（区）优秀科技图书二等奖。与另外两本《橡皮几何学漫谈》《几何变换漫谈》一起构成“牛顿科学馆”丛书之一。可供中学生及广大数学爱好者学习、阅读，也可供中学数学教师教学参考。
《几何变换漫谈/牛顿科学馆》一书分为将图形平行移动、将图形旋转、轴反射、位似变换、平行投影、中心投影、用变换群的观点描述几何学7部分。 《几何变换漫谈/牛顿科学馆》向广大中学生朋友介绍关于几何变换的思想。除了重点介绍平移、旋转、轴反射（轴对称）及位似等常见的初等几何变换以外，还通俗直观地介绍中学几何中很少涉及的仿射变
书目推荐 更多
