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

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

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

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

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

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

本书是普通高等院校工科各专业研究生基础课教材，主要内容包括泛函分析、定性理论、生物数学、网络动力学、随机分析和积分变换等六部分，具体内容为线性赋范空间、内积空间与Hilbert空间、定性理论简介、生物数学导论、网络动力学、随机分析基础、随机微分方程及应用、积分变换等。章后习题的设置便于读者检查自己对本章内容的掌握情况。

《利用图形计算器探究数学》是一本旨在通过现代技术手段——图形计算器——来增强学生对数学概念理解和应用能力的教学辅助书籍，同时也可以帮助参加出国留学考试的同学提高应用图形计算器解题的能力。本书参考高中国际课程的AP、IB等项目的数学课程内容，整合了国内高中数学课程内容，涵盖了从高中数学到大学数学的多个方面，包括数值计算、

本书作者致力于将Steiner树问题的研究与网络构建问题相结合，系统地探讨Steiner树问题的多种变形及其构建策略。本书具体涵盖欧几里得平面上Steiner树构建的两大核心问题：最小费用Steiner点和边问题(简称MCSPE)以及最小费用Steiner点和材料根数问题(简称MCSPPSM)。本书还讨论了网格分层思想

本书是一本抽象代数入门教材，假定读者具备一定的微积分和线性代数基础知识，这些知识对解答习题和例题十分必要。本书深入介绍了群和子群、群结构、同态和商群、高级群论、环和域、环和域的构造、交换代数、域的扩张和伽罗瓦理论等抽象代数入门课程的所有主题。书中有大量的定义和定理，以及对这些理论进行进一步说明的例题。几乎每节都配有习题