本书开创趣味数学与程序设计的交汇融合。书中精选并提出各类趣味数学问题，突出趣味性与吸引力，包括神奇整数探求、素数世家风采、数式精彩纷呈、方程经典汇趣、精巧求解剖析、多彩数列欣赏、最优探索展示、数形结合出彩、智能游戏探秘和数阵天地大观等。

本书对公理化集合理论的基础知识进行了系统介绍。全书共分为十章，包括命题逻辑、谓词逻辑、公理集合论初步、关系、重建数系、等势与优势、良序关系、序数、基数、选择公理。本书强调培养学生的逻辑思维能力；本书不需要读者具有较多数学知识，具备高中数学知识基础的读者也可完全掌握本书的内容，只需要读者多思考即可。本书可以作为高等院校工

光谱成像技术是近10多年发展起来的一门新兴学科，是现代过程分析技术中一项重要的手段。它将传统的光学成像和光谱方法相结合，可以同时获得样品空间各点的光谱，从而进一步通过化学计量学等方法获取空间各点的组成和结构信息。《拉曼、红外和近红外化学成像》是一本系统介绍分子振动光谱化学成像技术的专著，涉及光谱成像基本原理、仪器硬件、

本书面向“新工科”建设背景下普通高等学校的计算机类和软件工程专业类的本科生，以培养学生离散建模基础能力为目标，论述逻辑、证明、集合、函数、关系、算法、整数与同余、组合计数、图论以及代数系统相关基础知识，覆盖ComputerScienceCurricula2013离散结构知识体的所有知识单元。与传统离散数学教材相比，

《ABAQUS2020有限元分析从入门到精通》以有限元软件ABAQUS2020为对象，系统地介绍了ABAQUS2020的各种基本功能。全书分为11章，主要从线性结构静力问题、接触问题、材料非线性问题、结构模态问题、显式非线性问题、热应力问题、多体系统问题、多步骤问题及子程序开发9个方面系统地讲解了ABAQUS2020的

离散数学是计算机相关专业的主干课程之一。本书将理论紧密联系实际，摒弃了一些烦琐的定理证明，从工程实际出发，引入工程案例和解决方案，注重提升学生的应用模拟解题技巧，力求做到脉络清晰，重点突出，精讲多练，实用有效，从而培养学生的抽象思维和缜密概括能力。 本书内容包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和

本书为日本数学家、“日本现代数学之父”高木贞治创作的分析学入门名著。作为衔接古典与现代的集大成之作，它被誉为日本现代数学发展的“不动之根基”，也成为日本所有微积分教材、专著的参考原点。本书从严密的实数理论出发，以初等函数理论为重点，用直观、易读的讲义式叙述方式，追溯了微分、积分概念的起源与数学分析理论发展的历史轨迹，将

全书共5章，第1~3章是无机及分析化学实验基本要求、基础知识和基本操作，第4、5章是基础实验（27个）和综合设计性实验（13个）。附录包含常用酸碱溶液的浓度、实验室特殊试剂的配制、缓冲溶液的配制、常见无机化合物在水中的溶解度、某些离子和化合物的颜色、常用指示剂、常用基准试剂、常见沉淀物的pH、常见离子的鉴定方法、常用洗

自组装是自然界一种非常普遍的物理现象。小到细胞中的蛋白折叠，大到星系的形成，从微观尺度到宇宙尺度，从生物体系到非生物体系，处处都有自组装现象的身影。了解自组装的基本物理规律，是理解生命起源和自然界各种有序结构形成的关键。生物体内和原子层次上的自组装过程难以直接观测，但胶体体系的自组装过程通过光学显微镜可以直接进行实时原

《大学化学实验（Ⅲ）——有机化学实验》全书共分为5章，主要内容包括：有机化学实验基础知识（第1章）、有机化学实验基本操作和技术（第2章）、基础有机化学实验（第3章）、综合性有机化学实验（第4章）、有机化合物的鉴定（第5章）。其中有机化学实验基本操作和技术系统地介绍有机化学实验中常用的一些重要操作原理和技术；基础有机化学