本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和

本书重点研究摩擦界面润滑液毛细电渗效应对其渗透和润滑性能的影响，并提出了一种考虑摩擦界面润滑液毛细电渗效应的促进润滑液渗透策略。主要内容包括(1)分析摩擦副的材料摩擦表面电荷及其发射特性，探究摩擦界面润滑液毛细电渗驱动电场的形成机理与调控机制；(2)在表征润滑液固/液界面双电层电导率的基础上，分析摩擦副材料在不同润滑液

数理科学的发展史是和人类物质文明和精神文明的发展史交融在一起的，要学好数理化，就要着重领会数理科学的思想和精神实质，了解数理科学在人类文明发展中所起的关键作用。本书主要包括两篇，第一篇介绍数学的萌芽与发展，包括数与形的概念的发展总结，对古埃及、古巴比伦、古希腊、古印度、古阿拉伯及古代中国的数学的介绍；第二篇讲述数学之美

本书是与《高等数学》同济大学数学科学学院编相配套的同步习题册，根据应用型本科院校的实际情况，结合理工类专业“高等数学”课程的教学及考试大纲要求，为配合教学需要，方便学生课后巩固基本概念和掌握基本解题方法为主要目的而编写的配套练习册。主要包括微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面

本书稿为作者多年的有关延迟分离涡模拟的研究成果，涉及模型的基本原理以及其在流动传热和建筑风工程领域的应用。全书共有十一章，具体包括：湍流数值模拟方法；限制生成项的DDES湍流模型；PL-DDES湍流模型钝体绕流模拟；基于定值Prt数强制对流传热模拟；槽道内混合对流传热模拟；一种新的延迟分离涡模拟PLES；亚格子模型对P

本书精选了186个最重要的一直在普遍应用的经典的或当代的有机人名反应或试剂。每个反应均给出一步步详尽的电子转移机理和众多具体的合成应用。全书还有2800多篇直至2020年度以综述和应用为主的参考文献，此外还提供了不少有机人名反应发现者的简历和栩栩如生的为人风貌。

本书介绍泛函分析的基础知识，包括距离空间与赋范空间、有界线性算子、Hilbert空间、有界线性算子的谱和拓扑线性空间。 本书旨在提供一本教师易于使用、学生易于阅读的本科生教材。为此，本书在内容编排上注重理论展开的条理性和清晰性，在文字叙述上力求可读性强，定理的证明过程较为详细。本书的第5章不是本科生必须学习的内容，仅

本书介绍了欧氏空间上的Lebesgue测度和Lebesgue积分理论，也附带简要介绍抽象测度论的基础知识。 本书旨在提供一本教师易于使用，学生易于阅读的教材。为此，本书在内容编排上注重理论展开的条理性和清晰性，将基础的部分和较难的部分适当分开，便于在教学上根据情况作取舍，也便于初学者在学习上循序渐进。在文字叙述上力求

本书主要利用空间光调制器的可编程特性，分析其模拟光栅、透镜、轴锥镜等光学器件的原理，并利用这些器件实现灵活的光场调控。本书介绍的光场调控技术主要有：将单光束变为能量、数量、位置可控的二维和三维空间多光束；将光束聚焦成轴向光强可控的线光束；将圆形高斯光束整形为高均匀性、高能量利用率的多形状光束和自加速光束；将线偏振光变换

本书是“无机化学探究式教学丛书”第17分册。全书共4章，包括：氧族元素的单质、氧族元素的简单化合物、硫的含氧酸及其盐、氧族元素的生理作用。编写时力图体现内容和形式的创新，紧跟学科发展前沿。作为基础无机化学教学的辅助用书，本书的宗旨是以利于促进学生学科素养发展为出发点，突出创新思维和科学研究方法，以教师好使用、学生好自学