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

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

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

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

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

《化学教育测量与试题命制研究》立足化学核心素养的评价需求，围绕化学教学测量的研究流程，系统介绍了测量数据的统计与分析以及测量工具的质量评估。本书创新引入免费且易于操作的JASP数据分析软件以及用于测评化学学科核心素养的Rasch模型，同时还创建了素养导向的中学化学三取材四步骤命题程序。每章均设置了本章导读、学习目标、要

《聚合物制备工程》的内容包括聚合反应工程基础和聚合物制备工艺学两个部分，重点介绍聚合物制备方法及工业化生产工艺流程，涉及合成树脂、合成橡胶及合成纤维三大合成材料中主要聚合物品种的具体工业生产实例。本书通过代表性聚合物的生产技术、工艺流程和生产过程的介绍，将聚合反应工程与聚合物合成工艺有机结合，阐明工业化聚合物的合成原理

《现代无机化学》(第二版)共11章，由基础理论(配位化合物、有机金属化合物、原子簇化合物、生物无机化合物)，制备与分离(无机合成技术与制备、无机分离技术与纯化)、表征技术(无机物常用表征方法)、应用领域(现代化学电源关键材料、氢气及氢能的利用、金属有机骨架材料、生物医学纳米材料)四个部分构成，系统讲解现代无机化学领域出

本书从科学性、专业性和实用性出发，较系统地介绍大学物理的基本理论及其与不同领域工程技术之间的联系。全书共16章，主要内容包括：质点运动学、牛顿运动定律、功与能、动量、刚体的转动、机械振动、机械波、气体动理论、热力学基础、真空中的静电场、静电场中的导体和电介质、恒定磁场、电磁感应和电磁波、光学、狭义相对论、量子物理基础等

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