第5章计算学科中的数学和系统科学方法2015概论.ppt

面向对象方法中最基本的概念 对象：系统运行时的基本单位，是类的具体实例。 类：是对具有相同属性和操作（或称方法、服务）的对象进行的抽象描述。 对象与类的关系犹如变量与数据类型的关系。 类的形式化定义： Class=ID，INH，ATT，OPE，ITF 其中： ID——类名； INH——类的继承性集； ATT——属性集； OPE——操作集； ITF——接口消息集。 面向对象程序设计的四个基本特征 抽象：是指对一类对象进行概括，抽出它们共同的性质并加以描述的过程。 封装：封装是把对象的数据(属性)和操作(行为)包装在一个类中。通过封装，可以决定对象的哪些属性作为内部细节被隐藏起来，哪些行为是作为对象与外部的接口。封装是实现抽象的基本手段。 继承：继承是指一个新类可以从现有的类派生而来。新类继承了现有类的特性，包括一些属性和行为，并且可以修改或增加新的属性和行为。 多态：多态是指不同对象对于同样的施加于其上的作用会有不同的反应。 例子 class Time { private: int hour; // 数据成员，表示小时 int minute; // 数据成员，表示分钟 int second; // 数据成员，表示秒 public: void setTime(int h, int m, int s) // 成员函数，设置时间 { hour=(h=0 h24) ? h:0; minute=(m=0 m60) ? m:0; second=(s=0 s60) ? s:0; } void showTime() // 成员函数，输出时间 { couthour:minute:secondendl; } }; main() { Time EndTime; EndTime.setTime(12, 23, 36); coutThe time is:; EndTime.showTime(); } 一个简单例子： 课堂测验： 定义一个表示日期的类Date，包含年、月、日三个属性和输入、输出两个成员函数。 作业：P203 6.16 * 内容提要 计算学科中的数学方法 系统科学的基本方法 信息系统 结构化方法和面向对象的方法 第5章 计算学科中的 数学和系统科学方法 1、计算学科中的数学方法 在计算学科中，采用的数学方法主要是离散数学方法。 集合论 代数系统 图论 数学有连续数学和离散数学之分，它们分别以离散型变量和连续型变量为研究对象。 连续型变量是不可数的，如函数的连续性。连续数学源于几何，以微积分为基础，用连续的观点对数学进行研究，如天气分析与预报。 离散型就是变量的变化是可数的，如自然数1, 2, 3, …。离散数学源于算术，所研究的对象都是离散型的，如整数、图和数学逻辑中的命题。实例：银行服务排队服务问题。 计算学科的根本问题是“能行性”问题。 “能行性”问题决定了计算机本身的结构和它处理的对象都是离散型的。 连续型的问题只有经过“离散化”的处理后才能被计算机处理。 凡是能用离散数学为代表的构造性数学方法描述的问题，当该问题所涉及的论域为有穷，或虽为无穷但存在有穷表示时，这个问题一定能用计算机来处理。 由于计算机的软硬件都是形式化的产物，因此，凡是能被计算机处理的问题都可以转换为一个数学问题。 在对待数学的问题上，计算机科学家与数学家的侧重点不一样。 数学家关心的是“是什么（What is it）”的问题，重点放在数学本身的性质上； 计算机科学家不仅要知道“是什么”的问题，更要解决“怎么做（How to do it）”的问题。 数学家侧重于几何推理和关于无限问题的推理，计算机科学家侧重于对变化的动态过程状态的重点把握。 计算机科学家倾向于将问题分解成若干状态，并精确地定义事物处理的每一步骤。数学家则从本能上倾向于用一个单纯的公式来描述一切事物所有的状态。 由于传统数学研究的对象过于抽象，导致对具体问题（特别是有关计算的本质）关心不够。因此，在计算领域，人们又创造了基于离散数学的“具体”数学的大量概念和方法（如学科中的各种形式化方法）。 计算学科中常用数学概念和术语 集合：一组具有某种共同性质的数学元素。 函数（映射）：是指把输入转变成输出的运算。函数是程序设计的基础，函数以算法的形式来实现。 关系：关系是一个谓词，其定义域为k元组的集合。通常的关系为二元关系，其定义域为有序对的集合，表示有序对的第一个元素和第二个元素有关系。 （笛卡儿积D1 x