工程和科学计算中的近似非线性分析方法

本书系统地阐述了作者提出的一些新的非线性分析方法，如变分迭代算法、同伦摄动方法及个类改进的摄动方法，着重阐述了方法的基本概念、思想和方法，同时附以实例加以说明。...

科学计算中的蒙特卡罗策略

本书是一本非常优秀的介绍蒙特卡罗方法教材，系统全面地介绍了蒙特卡罗方法的基本原理、序贯蒙特卡罗理论、行为中的序贯蒙特卡罗方法、Metropolis算法及其推广、Gibbs抽样、一般条件抽样等。此外，本书还详细...

现代科学与工程计算基础 第3版

本书较为详细地介绍了科学与工程计算中常用的数值计算方法、基本概念及有关的理论和应用。全书共分八章，主要内容有绪论，函数的插值与逼近，数值积分与数值微分，线性代数方程组的直接解法与迭代解法，非线性方程及...

科学与工程计算中的径向基函数方法

本书系统地介绍了科学与工程计算中径向基函数方法的基本理论和相关应用，包含了近年来国内外和作者的最新研究成果。全书共分九章。分别介绍了径向基函数的物理背景、各类径向基函数，以及通过边界型径向基函数...

模型论及其在计算机科学中的应用

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

科学与工程计算方法

本书介绍了科学与工程计算中最常用和最基本的数值计算方法。本书内容充实，重点突出，强调方法的构造与应用；推导过程既重视理论分析，又避免过多的理论证明；对每种方法都在计算机上编程实现，并给出真解、数值解和.....

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

科学与工程计算技术丛书 MATLAB优化算法

本书以MathWorks公司最新推出的MATLAB R2016a软件为基础，详细讲解了优化分析的MATLAB实现。书中给出的每个案例都是一个使用优化算法解决问题的具体实例，所有案例均由理论讲解、案例背景、MATLAB程序实现和扩...

科学计算引论 基于Mathematica的数值分析

本书以Mathematica软件为平台，系统地介绍科学计算理论和方法。书中强调算法实践，以及结合Mathematica平台解决工程技术问题。主要内容包括线性代数方程组的数值方法、函数的数值逼近、数值积分、非线性方程与...

科学图书大库 数学研究丛书二 近世代数之研究