应用数学与计算上机实训 【数理化】

模糊系统理论与模糊计算机 【数理化】

递归可枚举集和图灵度 可计算函数与可计算生成集研究 【数理化】

本书是递归论方面的研究生教材之一，得到了国内外同行的广泛认可。

科学与工程计算 【数理化】

本书介绍了现代科学与工程计算中常用的数值计算方法，阐明了数值计算方法的基本理论及其实现方法，内容包括数值计算的误差分析，方程求根，解线性方程组的直接法等。 ...

高维信息几何与几何不变量 【数理化】

《高维信息几何与几何不变量》针对具有人工智能的内容搜索产生的信息几何与几何不变量问题，探索一种新的内容搜索方法，从信息学角度出发，给出几何不变量，并研究其几何不变量的性质，为实现具有内容搜索问题提供有...

国外计算机科学教材系列 可计算性与数理逻辑 【数理化】

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

数学模型与计算 【数理化】

本书内容包括：数学建模概论，Mathematica软件包，Lindo软件包，Matlab基础知识，优化问题与计算，数据拟合与随机模拟，判别分析与计谑，矩阵博弈模型与计算，Markov过程与计算等。...

Mathematica与大学物理计算 【数理化】

本书以Mathematica为工具，引导读者通过物理计算达到更好理解物理学的目的。

可计算性与不可解性 【数理化】

数学计算方法与软件的工程应用 【数理化】