计算机解题与数学 ·对问题的理解必须用严格的数学语言描述。 ·其前提是必须建立问题的数学模型。 ·可用的数学模型必须是计算机能对其进行操作的。 ·让计算机能理解的解题plan必须建立在严密的数学基础上 ·将plan表示为计算机能执行的“指示”的语言必须建立在严密的 数学基础上 ·分析计算机计算的结果必须使用数学方法： ·用逻辑证明结果正确： ·动用必要的数学手段分析解法的效率。计算机解题与数学 • 对问题的理解必须用严格的数学语言描述。 • 其前提是必须建立问题的数学模型。 • 可用的数学模型必须是计算机能对其进行操作的。 • 让计算机能理解的解题plan必须建立在严密的数学基础上 • 将plan表示为计算机能执行的“指示”的语言必须建立在严密的 数学基础上 • 分析计算机计算的结果必须使用数学方法： • 用逻辑证明结果正确； • 动用必要的数学手段分析解法的效率