形式化方法

这个就是形式化吗?

两盒软妹~` 提交于 2020-02-24 06:24:48
以下内容摘自 “第5章 计算学科中的数学方法”: http://px.zjnu.net.cn/attachments/month_0404/ch5-7.pdf 5.7.2 形式化方法 1形式化方法 王元元教授在他的著作计算机中的逻辑学中将形式化方法定义为彻头彻尾的符号化+抽象公理化 本书所指的形式化方法特指这一含义 2形式系统的组成部分 形式系统由下面几个部分组成 1初始符号初始符号不具有任何意义 2形式规则形式规则规定一种程序借以判定哪些符号串是本系统中的公式哪些不是 3公理即在本系统的公式中确定不加推导就可以断定的公式集 4变形规则变形规则亦称演绎规则或推导规则变形规则规定从已被断定的公式如何得出新的被 断定公式被断定的公式又称为系统中的定理 在以上4个组织部分中前两个部分定义了一个形式语言后两个部分在该形式语言上定义了一个 演绎结构形式系统由形式语言和定义于其上的演绎结构组成 在计算机系统中它的软硬件都是一种形式系统它们的结构也可以用形式化方法描述 程序设计语言更是不折不扣的形式语言系统 3形式系统的基本特点 1严格性 形式系统中初始符号和形式规则都要进行严格的定义不允许出现在有限步内无法判定的公式 形式系统采用的是一种纯形式的机械方法它的严格性高于一般的数学推导 2抽象性 抽象性不是形式系统的专利抽象是人们认识客观世界的基本方法只不过形式系统具有更强的抽象性

UML建模重点圈划

两盒软妹~` 提交于 2020-02-08 11:10:02
面向对象的特征 *P9* >封装性 >继承性 >多态性 >传递性 建模语言的三个类别 *P14* > - 非形式化的、半形式化的和形式化的 UML 特点*15* 主要有三个特点: >- 1. 统一了Booch、OMT和OOSE等基本概念 >- 2.UML吸取了面向对象技术的优点,当然也有非面向对象技术的影响 > - UML 还提出了许多新说法,增加了模板、职责、扩展机制、线程、过程、分布式、并发、模式、协作、活动等概念,并清晰的区分类型、类和实例、细化、接口和组件等概念。 RUP的三大特点*P28* >- 降低了一个增量上的开支风险。 >- 降低了产品无法按照既定进度进入市场的风险。 >- 加快了整个开发工作的进度。 RUP的开发过程*P30* >- 初始阶段 >- 细化阶段 >- 构造阶段 >- 交付阶段 基数表*P49* 略 需求获取的方法 *P64* >- 1、现场调查 >- 2、网络调查 >- 3、复杂网络和数据挖掘 需求分析的目的 (确定客户需要什么)*P75* >- 用来明确问题需求 >- 为用户和开发人员提供明确需求 >-为用户和开发人员提供一个协商的基础,作为后续的设计和实现的框架 RUP设计过程图*P89* >- >- 见书图9_1 登录UI界面 >- >- P89书图 UML模型划分(静态、动态) >- >- 书P16图 来源: https://www

SQL 形式化语言——关系代数

那年仲夏 提交于 2019-12-10 18:39:56
关系代数是一种 过程化查询语言 。它包括一个运算的集合,这些运算以一个或两个关系为输入,产生一个新的关系作为结果。关系代数的 基本运算 有: 名称 英文 符号 选择 select σ 投影 project Π 并 union ∪ 集合差 set-difference - 笛卡儿积 Cartesian-product × 更名 rename ρ 除了上面的6种基本运算之外,还有一些 其他运算 ,其他运算是可以用基本运算来表示的。但是在实际中,我们为了方便使用,单独的建立了一种运算来表示,其他运算有: 名称 英文 符号 集合交 intersection ∩ 自然连接 natural join ⋈ 赋值 assignment ← 选择运算 英文: select 字符: σ 读音: sigma 选择运算在关系中选择出能够满足给定谓词的元组。将那些不满足谓词的元组剔除,组成一个新的关系。在σ后面小写谓词代表查询条件,括号中写要操作的关系。可以使用=,≠,>,<,≤,≥来进行谓词的判断。另外,也可以使用and(∧)or(∨)not(﹁)将多个谓词组合成一个较大的谓词。 示例: σ age>18 (User) 在User关系中查找出年龄大于18的所有元组并返回这些元组组成的关系 σ age>20∧salary>10000 (User)