非线性演化系统的符号计算方法 【数理化】

本书是对非线性Vakhnenko方程精确解深入而系统研究的一本专著。非线性Vakhnenko方程最早由乌克兰国家科学院的地理学家V.A.Vakhnenko在上世纪九十年代初提出。非线性Vakhnenko方程是描述高频波在稀松界质中...

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

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

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

计算机数值计算方法 【数理化】

向量计算及张量计算初步 【数理化】

向量计算及张量计算初步 【数理化】

计算技术附件-计算技术习题集 【数理化】

计算物理学·计算物理学 【数理化】

计算方法与算法语言 上 计算方法 【数理化】

计算数学讲义 2 线代数计算 【数理化】