在可计算性理论和计算复杂性理论中，计算模型（model of computation）描述了如何根据一组输入值计算函数的输出，包含了负责运算、存储和通讯等结构的具体组织方式。它可以用于测量算法的计算复杂度，总结出算法的性能，而不受特定技术和实现方式的性能差异所误导。 计算模型可分为三大类：顺序模型、函数式模型以及同步模型。...

數學模型（mathematical model）是使用數學來將一個系統簡化後予以描述。數學模型廣泛應用在自然科學（如物理學、化學、生物學、宇宙學）、工程学科（如计算机科学，人工智能）、以及社會科學（如經濟學、心理學、社會學和政治科學）上。科學家和工程師用模型...

运算模型（英語：Computational model）是运算科学中的一个数学模型，它使用大量的运算資源来用计算机模拟研究一个复杂系统的行为。被研究的系统通常是一个复杂的非線性系统，这种系统不易取得简单、直观的解析解。相比于推导数学分析来解决问题，它是通过在计算...

在物理學中，要求基于各种数学模型的理论，都能够对这些理论所描述的系统的行为给出精确的描述。不幸的是，很多问题无法得到精确解（即解析解），或求精确解的过程过于复杂。（比如，經典力學中的多体问题。量子力學中，除少数极端近似的大多数问题。）此时，将会使用数值近似的方法来求解这类问题。计算...

计算理论（英語：Theory of computation）是數學的一個領域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题： 采用什么计算模型（即形式语言、自动机） 解决哪些是可计算的、哪些是不可计算的（即可计算性理论及演算法）...

數學、資訊理論等許多數學分支，也包括從各種應用領域中提出的數學問題的研究。而大部分應用數學是以作為物理分析的工具。計算數學有時也可視為應用數學的一部分。應用數學大部分的教學範疇都是以物理的模型為基礎進行分析，當中或許搭配了各種數學工具，就為了更貼近物理的系統。應用數學...

模型论（英語：Model theory）一般是指数学中集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“對象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。...

离散化关注将连续模型或等式转化为离散形式的过程，通常是基于简化计算的目的。数值分析是离散化一个重要实例。 很多的连续数学概念都有离散数学的版本，例如: 離散微積分 离散概率分布 离散傅里叶变换 离散几何 离散对数 離散微分幾何 離散外微分 離散莫爾斯理論 差分方程 離散動力系統。 在应用数学中，离散模型是连续模型...

数学的传统分支被分类到纯数学，主要研究其内在的逻辑性；而应用数学可以直接应用以解决现实问题。这种分类方法并不十分清晰，许多主题是按照纯数学发展的，但后来就发现了意想不到的应用。宽泛的分类方法，例如离散数学和计算数学，就是最近才出现的。 数学学科分类标准 趣味數學...

运算科学，又称科学运算，是一个与数学模型构建、定量分析方法以及利用计算机来分析和解决科学问题相关的研究领域。在实际应用中，运算科学主要应用於：对各个科学学科中的问题，进行计算机模拟和其他形式的运算。 这一领域不同於计算机科学（对於运算、计算机以及信息处理的研究），同时也异於科学和工程学的传统形式——...

数学系合并组成复旦大学数学系。由原复旦大学陈传璋教授任系主任。 数学系和数学研究所下设4个教研室、6个研究室、博士后流动站、教育部所属的非线性数学模型和方法开放实验室、数学学科实验室、数学学科图书资料室和数学系教学实验室。苏步青、陈建功、谷超豪等为中国数学界泰斗。...