查看会员资料
用 户 名:沈***
发送消息- Email:用户隐藏
- Icq/MSN:
- 电话号码:
- Homepage:
- 会员简介:
最新会员发布资源
chengxushejishiyan4
- 一、实验题目: 实验4 程序的形式化推导 二、实验内容: (1) 根据给定的问题,建立前置谓词和后置谓词。 (2) 根据条件语句的推导策略,建立程序中的条件语句。 (3) 构造循环不变式,确立界函数。 (4) 根据循环语句的推导策略,建立程序中的循环语句。 (5) 面向目标,退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略,基于最弱前置条件的概念,用比较形式化的方法,从设计要求达到的目标一步步推导出程序。 四、实验要求: 运用