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

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

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

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

科学计算及其应用的进展 英文版 【数理化】

计算机科学组合学丛书 组合数学 第5版 【数理化】

本书是《组合数学（第4版）》的修订版，全书分8章，分别是排列与组合，递推关系与母函数，容斥原理与鸽巢原理，Burnside引理、区组设计、线性规划、编码简介、组合算法简介。丰富的实例及理论和实际相结合是本书的特点.....

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

高等学校教学用书:本书主要内容包括误差分析、解线性代数方程组的消去法和迭代法、数值积分、非线性方程求解、常微分方程数值解等。

科学计算引论 【数理化】

本书是为大学本科生开设科学计算方法课程而专门编写的一本创新型教科书，全书共分六章，内容涉及数值分析基础、数值逼近、数值代数、最优化方法、常微分方程数值解、偏微分方程数值解。该书以介绍通用数值算法...

面向计算机科学的数理逻辑 【数理化】

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

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

本书主要讲授刚性常微分方程组的简单数值解法、偏微分数值解法和统计计算的基本方法。针对工科博士生大部分没有学习数学物理方程，由此本书花一部分内容讲述偏微分方程的建模，解决实际问题。...

信息与计算科学丛书 扩散方程计算方法 【数理化】

本书介绍扩散方程的计算方法，重点介绍作者近十年来取得的研究进展。内容包括：简要介绍扩散方程几类常见的有限体积方法；扭曲网格上扩散方程的多种高精度有限体积格式，其中包括具有保正性的格式和保持离散极值原...

现代科学与工程计算基础 【数理化】

本书主要内容包括：函数的插值与逼近、数值积分与数值微分、解线性代数方程组的直接法、解线性方程组的迭代法、非线性方程求根、矩阵特征值和特征向量的计算和常微分方程数值解法等。...