翻译：《计算机科学与数学》 前言

本文阐述如何使用数学模型和方法分析在计算机科学中产生的问题。证明在本文中扮演了核心角色，因为作者们和大多数学家共享一个信念，即证明对于真正的理解是最重要的。证明也在计算机科学中扮演了一个不断成长的角色；证明被用来验证软硬件的正确运行，这是再多的测试也无法做到的事情。本文阐述如何使用数学模型和方法分析在计算机科学中产生的问题。证明在本文中扮演了核心角色，因为作者们和