当前位置:首页 > 工业技术
自动程序设计
自动程序设计

自动程序设计PDF电子书下载

工业技术

  • 电子书积分:8 积分如何计算积分?
  • 作 者:王立国编著
  • 出 版 社:北京:气象出版社
  • 出版年份:1989
  • ISBN:7502902112
  • 页数:128 页
图书介绍:
《自动程序设计》目录

目 录 1

引 言 1

第一部分形式化的程序设计 1

一、规范、程序和程序设计 1

二、最弱前置条件概念的引入 3

三、wp的性质 9

四、程序设计语言的wp语义 14

五、关于选择语句和循环语句的定理 25

六、程序设计的形式化方法 31

七、基于wp演算的程序正确性证明 33

八、基于wp演算的形式化程序设计 41

九、面向目标的程序设计 42

十、不变式推导技术 50

第二部分 自动化的程序设计 79

十一、概论 79

十二、规范模式 81

十三、逻辑程序设计语言PROLOG简介 85

十四、规范演绎 89

十五、知识库 95

十六、程序综合的结构 101

十七、PROLOG程序的自动综合 102

十八、知识库的自学习 126

参考文献 128

相关图书
作者其它书籍
返回顶部