本书共分6章,主要内容包括集合论(朴素集合论为主,兼及少量公理)、递推关系、群论、数论、图论,以及理论计算机科学简介,覆盖可计算性理论、随机化算法、密码学和博弈论等。

本书系统介绍组合数学的核心理论与方法,并紧密结合现代计算机科学前沿领域的应用需求。全书共8章,主要内容包括排列组合、鸽巢原理、母函数、线性常系数递推关系、特殊计数序、列容斥原理、Pólya计数理论与组合设计,附录部分深入补充了集合论、偏序集、群论等数学基础为理解组合结构提供坚实支撑。

本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统,系统阐述基本概念与核心理论;又聚焦软件/硬件验证的前沿应用,深入介绍程序逻辑、模型检测技术的算法实现与工具环境。

本书内容包括函数,极限与连续,导数与微分,微分中值定理与导数的应用,不定积分,定积分及其应用,微分方程。

本书分为3个主要部分:第1部分涵盖前3章,延续了高中几何的基础内容;第2部分包括第4章至第7章,囊括了解析几何教学的核心概念,主要介绍了向量代数的基础知识、平面和空间直线间的相关关系、常见曲面以及二次曲线等相关内容;第3部分涉及第8章和第9章,前者探讨了代数方面的预备知识,后者介绍了仿射几何学的核心内容。

本书是继北京大学出版社出版、邵勇所著《数学之美》之后又一部同类科普佳作。本书内容分为三章，以通俗语言解读数学之美，兼顾知识性与趣味性。 第1章从自然数讲到整数、分数、有理数、无理数、复数，从0、1讲到、e等数学常数，从十进制讲到八进制、二进制，深入讲述数的核心素数的基础知识，并详细介绍了历史上著名的特殊数：如亲和数、完

本书精准聚焦几何公理化体系构建与现代数学基础研究需求，开篇以关联公理、顺序公理、合同公理、平行公理、连续公理五大公理组为核心，严格界定几何基本概念的逻辑前提，打破传统几何对直观经验的依赖，实现几何理论的严谨化重构；中间章节通过严密的逻辑推理，从公理出发逐步推导三角形全等判定、平行线性质、多边形面积计算等经典几何定理，清

书以一部原创数学话剧《当几何原本遇见九章算术》为载体，讲述如何进行排练以及最后呈现一部数学话剧的过程。 本书共七个章节。第一章在最近几年的数学话剧活动的基础上，谈及排练活动之前的一些设想和规划。第二章谈及如何进行剧本探索，制定排练日程，演员面试和竞演，以及其他幕后工作各小组的组成等。第三章将以话剧《当几何原本遇见九章

Lang-Trotter猜想是椭圆曲线算术理论中的一个重要猜想，旨在刻画满足一定Frobenius条件的素数个数。因此类素数之分布相当稀疏，故Lang-Trotter猜想目前远未得到证明。本书详尽地介绍了作者关于带复乘椭圆曲线Lang-Trotter猜想的最新进展，包括上界不等式及在Hardy-Littlewood猜想

本书依据工科类本科数学基础课程教学基本要求，并结合编者多年教学经验编写而成。 本书理论结合实际，从概念的引入到案例的应用，以层层递进的方式展开，同时融入工程案例、经济案例和Python实验等，读者既能感受到数学理论知识的严谨性又能够体会到数学的趣味性与实用性。为满足读者的多元化需求，加入了适当难度的全国硕士研究生招生