计算机数学是一门研究应用计算机解决各类问题所需的数学学科。它是数学与计算机科学交叉融合产生的新兴学科，主要关注“什么是可以计算的”以及设计求解该问题的最好算法。计算机数学大致可以分为三部分：
离散数学：
为算法研究提供数学工具，包括集合论、图论、数论、逻辑等。
计算理论：
研究计算模型、自动机理论、形式语言、计算可靠性和计算复杂性等基本概念和理论。
机械化数学：
研究如何将数学定理和算法用计算机程序来实现，以提高计算的效率和准确性。
计算机数学不仅是计算机科学的理论基础，也是研究计算与算法的数学分支。通过运用数学工具和方法，计算机数学为计算机科学提供了强大的支持，推动了计算机科学的发展。