《谱学电化学》重点介绍了谱学电化学领域的常用技术和最新成果及应用，展示了谱学电化学的主要进展。书中首先回顾了半个世纪来，谱学电化学从建立初期到成长壮大的历程，针对电化学拉曼光谱技术、电化学衰减全反射表面增强红外光谱技术、电化学非线性光学技术、电化学质谱技术、量子化学理论在谱学电化学中的应用和电化学扫描探针显微术，讲解了

依据化学分析实验工作之需要，结合于冶金、机械、化工等行业从事这方面专业工作四十余载的切身体验，长期以来收集积累文献、技术资料以及手记等。按化学分析实验人员的实际工作之需求，并参考了近期最新技术标准，精选了各行业的化验室在分析化验中常用的基础知识及基本操作的经典为内容的多方面题材加以整理汇集而成。它是一部化验分析实验人员

本书是两册泛函分析教材中的上册，系统地介绍了线性泛函分析的基础知识。全书共分四章：度量空间、线性算子与线性泛函、紧算子与Fredholm算子，以及广义函数与Sobolev空间。本书的主要特点是侧重于分析若干基本概念和重要理论的来源和背景，强调培养读者运用泛函方法解决问题的能力，注意介绍泛函分析理论与数学其他分支的联系。

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

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

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

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

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

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

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