数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、

数学物理方程是来源于物理、力学等自然科学及工程技术领域的偏微分方程。本书首先介绍了典型的数学物理模型的建立及二阶线性偏微分方程的分类与化简，然后重点介绍了分离变量法、特殊函数（贝塞尔函数）法、行波法、积分变换法和格林函数法等应用广泛的数学物理方程经典的求解方法，最后简要介绍了某些求解非线性数学物理方程的方法，如Adom

本书系统阐述了波动方程参数反演的理论方法与数值计算方法，内容包括奇异值分解方法、不适定问题的正则化方法、全波形反演的数值优化方法、时间域与频率域声波方程和弹性波动方程的全波形反演。全书理论方法与科学计算并重，不但有严谨的理论推导和算法描述，还有详细的数值算例应用及丰富的图形结果。

本书共4章。第1章为度量空间,讲解度量空间的拓扑结构、度量空间中集合的性质、完备的度量空间。第2章为赋范线性空间,包括赋范线性空间的结构、有界线性算子与泛函、泛函延拓定理、有限维赋范线性空间。第3章为Hilbert空间理论,首先讲解内积空间的构造和标准正交基,然后是Hilbert空间的主要定理,最后是Hilbert空间

本书主要研究无穷维希尔伯特空间框架下的分裂可行性问题。本书以非扩张映射、单调映射、凸分析等非线性泛函分析理论为主要研究工具，系统介绍了分裂可行性问题解的存在性及其逼近方法的**研究结果，其主要内容由作者长期在该领域的研究成果积累而成。

模糊拓扑学是以模糊集为基本构件在分明拓扑学的基础上发展起来的，因此，它既具有以往拓扑学的抽象与深刻等显著特点，更兼有模糊集突出的层次结梅特色．本书以层次闭集为基本工具，对模糊拓扑学理论作了系统论述．本书主要内容包括预备知识、层次闭集与层次连续性、层次拓扑空间、层次闭包空间、层次连通性、层次分离性、紧性、层次仿紧性等内容

本书较系统地讨论了非线性中立型泛函微分方程数值方法的稳定性、收敛性和耗散性。本书共8章，第1章介绍了中立型泛函微分方程数值分析的应用背景和研究进展；第2章致力于中立型泛函微分方程理论解的稳定性分析，为其算法分析奠定基础；第3章在一般的Banach空间中研究数值方法的稳定性和收敛性；第4—6章分别讨论了三种特殊类型中立型

本书是一本用英文写成的数学类教材，是作者基于多年的科研和全英文教学经验编写而成的。全书分为10章。前3章是预备知识和方法，包含了某些数学软件程序、某些函数和积分公式以及平面系统的相图等内容。后7章是针对7个著名方程所描述的非线性波进行数值模拟和推导其表达式，包含KdV方程的行波、mKdVI方程的孤立波和周期波、mKdV

《高等数学练习册（理工类）》是依据高等理工类各专业对高等数学课程的教学要求，根据本科院校高等数学教学时数，合理地安排每个课时教学内容，并以每次课配置一次练习的原则进行编写。《BR》本套书分为上下两册，本书为上册.全书分为客观题和主观题两部分。其中：主观题包含填空题、选择题、解答题、证明题等题型，各题后均留有空白处，用于

《高等数学练习册（理工类）》是依据高等理工类各专业对高等数学课程的教学要求，根据本科院校高等数学教学时数，合理地安排每个课时教学内容，并以每次课配置一次练习的原则进行编写。《BR》本套书分为上下两册，本书为下册。全书分为客观题和主观题两部分。其中：主观题包含填空题、选择题、解答题、证明题等题型，各题后均留有空白处，用于