计算科学导论二.pptVIP

目录 计算学科中的数学方法 数学的基本特征 数学方法的作用 计算学科中常用的数学概念和术语 证明方法 递归和迭代 计算学科中的系统科学方法 系统科学与系统科学方法 软件开发中使用系统科学方法的原因 计算学科中的数学方法 数学有连续数学和离散数学之分，离散数学源于算术，连续数学源于几何。 连续数学以微积分为基础，用连续的观点，对数学进行研究，对自然科学的各种现象进行描述，从而成为人们认识客观世界的一个重要工具。 计算学科中的数学方法 计算学科的根本问题是“能行性”问题，决定了计算机本身的结构和它处理的对象都是离散型的，而连续型的问题只有经过“离散化”的处理后才能被计算机处理。 在计算学科中，采用的数学方法主要是离散数学的方法。 计算学科中的数学方法 理论上，凡是能用离散数学为代表的构造性数学方法描述的问题，当该问题所涉及的论域为有穷或虽为无穷但存在有穷表示时，这个问题一定能用计算机来处理。 凡是能被计算机处理的问题都可以转换为一个数学问题。 计算学科中的数学方法 数学家关心的是“是什么(What is it)”的问题，重点放在数学本身的性质上； 计算学家不仅要知道“是什么”的问题，更要解决“怎么做(How to do it)”的问题。 在计算领域，人们又创造了基于离散数学的“具体”数学的大量概念和方法（如学科中的各种形式化方法）。 数学的基本特征 数学是研究世界的空间形式和数量关系的