倒数表 本表供简化百分比计算及一般除法之用 【数理化】

湍流计算模型 【数理化】

可计算函数 【数理化】

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。本书从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全...

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

计算模型导引 【数理化】

本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科...

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

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

模型论及其在计算机科学中的应用 【数理化】

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

实用运筹学 模型、方法与计算 【数理化】

本书介绍实用运筹学的模型、方法与计算的相关知识。

数学规划模型建立与计算机应用 【数理化】

罗里波文集 模型论与计算复杂度 【数理化】

本书是《北京师范大学数学家文库》的第12部。