离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，

本书内容包括：绪论、基于H-Hk结构的算子型最小范数解析解、基于Kriging插值模型的最小范数插值解、基于高斯过程回归模型的最小范数正则解、基于高斯过程回归模型的有限维逼近解、Burgers方程算例分析。

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

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

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

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

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

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

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

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