计算机科学和导论-思想和方法 课件5.pptVIP

第五章　　　 学科中的数学方法;5.1 引 言;在对待数学的问题上，计算机科学家与数学家的侧重点不一样：数学家关心的是“是什么（What is it）”的问题，重点放在数学本身的性质上；计算机科学家则不同，他们不仅要知道“是什么”的问题，更要解决“怎么做（How to do it）”的问题。 由于传统数学研究的对象过于抽象，导致对具体问题（特别是有关计算的本质即字符串变换的具体过程）关心不够。因此，在计算领域，人们又创造了基于离散数学的“具体”数学的大量概念和方法（如学科中的各种形式化方法）。 本章主要介绍数学的基本特征、数学方法的作用，计算学科中常用的数学概念和术语（集合，函数和关系，代数系统，字母表、字符串和语言，定义、定理和证明，必要条件和充分条件）、证明方法、递归和迭代、公理化方法、以及形式化方法等内容。 ;5.2 数学的基本特征;5.3 数学方法的作用;; 5.4 计算学科中常用的数学概念和术语;;;;;;5.4.2 函数和关系;;;;;5.4.3 代数系统(不讲);;;;;;;;;;;;;;;;;;5.4.4 字母表、字符串和语言(不讲);;;5.4.5 定义、定理和证明 ;;5.4.6 必要条件和充分条件（讲）;;;;5.5 证明方法;;5.5.2 反证法;;;5.5.3 归纳法;4．数学归纳法;;5.5.4 构造性证明;5.6 递归和迭代;5.6.1 递归;;;;;;;;;;;5.6.2 迭代;5.7 公理化方法;5.7.2 公理化方法的基本概念;;;;;;;;5.8 形式化方法（不讲）;5.8.1 形式系统的组成、基本特点和局限性;;;5.8.2 形式化方法概述;;;;5.8.3 形式规格;;5.8.4 形式验证;;;;5.9 本章小结;;;