离散数学是帮我们研究计算机能力极限的工具，是用来提供算法的。

它们对狭义的编程——把算法转换为代码的过程的帮助仅仅在于能让人理解算法，帮助规避实现时可能的错误。