计算技术参考资料 76.4 布尔函数完全最小化的速算法 【数理化】

应用反问题中的计算方法 【数理化】

本书侧重于应用反演问题的研究，介绍了近年来在科学前沿研究中出现的各种反演问题，从地球物理、地球化学、物理海洋、空间科学到工程力学、人口管理等，其中也包括正则化等方法的最新进展等。全书在不适定问题的...

科学计算方法基础 【数理化】

本书是为“科学计算方法”课程而编写的教材。在编写过程力求做到；在内容上取材适中，重点突出，强调方法的构造与应用；在讲解方式上论述思路清晰，推导过程简洁，既重视理论分析，又避免过多的理论证明；在算法方面......

数值计算方法 【数理化】

本书是根据数值计算方法课程的基本要求，结合作者多年教学实践的成果编写而成。在编写过程中注重数值计算的基本方法和实用性，与同类教材不同，本书还介绍了各类方法的新发展，以Matlab 为平台，突出计算效率。全书...

数值计算方法 【数理化】

本书的内容包括函数的数值逼近（代数插值与函数的最佳逼近），数值积分与数值微分，数值代数（线性代数方程组的解法与矩阵特征值问题的计算），非线性（代数与超越）方程的数值解法，常微分方程（初、边值问题）数值......

计算共形几何 英文版 【数理化】

本书是莫斯科大学数学力学系对几何课程现代化改革的成果，作者之一的诺维可夫是1970年菲尔兹奖和2005年沃尔夫奖得主。全书力求以直观的和物理的视角阐述，是一本难得的现代几何方面的好书。内容包括张量分析，曲...

可计算性理论 【数理化】

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...

力学 计算机辅助教程 【数理化】

本书是在力学课程改革的基础上编写，经过几年的教学实践反复修改完成的。本书以牛顿力学为主，较为全面的介绍了经典力学的理论以及解决力学问题的主要思想、方法。为适应物理学的发展，本书适当地介绍了现代物理...

计算方法 【数理化】

本书是为普通高等学校信息与计算科学专业的学生讲授计算方法课程所编写的教材。全书共分11章。内容包括：误差分析、多项式插值、数值微分与积分、线性方程组的数值解法、线性最小二乘问题的数值解法、矩阵特...

现代计算方法 【数理化】

系统介绍最小一乘法、快速傅里叶变换算法、快速小波变换算法、禁忌搜索算法、遗传算法、差分进化算法、粒子群算法、随机步长聚类算法、模拟退火算法、蒙特卡洛马尔科夫（MCMC）算法、期望最大化(EM)算法等现代...