学科中的数学方法.pptVIP

第五章　　　 学科中的数学方法 在计算学科中，采用的数学方法主要是离散数学方法。本章首先简单介绍数学的基本特征及数学方法的作用。然后，介绍计算学科中常用的数学概念和术语，包括集合，函数和关系，代数系统（含群、环、格、布尔代数，布尔代数与数字逻辑电路等），字母表、字符串和语言，定义、定理和证明，必要条件和充分条件、证明方法、递归和迭代、公理化方法等内容。最后，介绍计算学科中的形式化方法，包括形式系统的组成、基本特点和局限性，形式化方法的定义，以及形式规格和形式验证等内容。 5.1 引 言 数学有连续数学和离散数学之分，离散数学源于算术，连续数学源于几何。自牛顿开创微积分后，连续数学就以微积分为基础，用连续的观点，对数学进行研究，对自然科学（如物理学等）的各种现象进行描述，从而成为人们认识客观世界的一个重要工具。 计算学科与物理等学科不同，它的根本问题是“能行性”问题。“能行性”这个根本问题决定了计算机本身的结构和它处理的对象都是离散型的，而连续型的问题只有经过“离散化”的处理后才能被计算机处理。因此，在计算学科中，采用的数学方法，主要是离散数学的方法。理论上，凡是能用离散数学为代表的构造性数学方法描述的问题，当该问题所涉及的论域为有穷，或虽为无穷但存在有穷表示时，这个问题一定能用计算机来处理。由于计算机的软硬件都是形式化的产物，因此，很自然的还