实用程序设计理论正文部分共分为12章，系统地介绍了一种程序设计理论，包括基本理论、基本数据结构、函数理论、程序理论、程序设计语言、递归定义、理论设计与实现、并发和交互等内容。本书的内容既系统、丰富、连贯，又非常精练，浅显易懂。另外，本书还附有400多道有趣的练习题（全部集中在第10章）。本书可作为高等院校计算机科学专业的高年级本科生和研究生程序理论课程的教材，也可作为对软件形式化方法有兴趣的研究人员和技术人员的参考书。

图书信息

图书目录

图书信息

书 名: 实用程序设计理论

作　者：（加拿大）EricC.R.Hehner　，万剑怡，郑宇华　译

出版社： 科学出版社

出版时间： 2010-6-1

ISBN: 9787030274250

开本： 16开

定价: 56.00元

图书目录

中译本序

第0章 绪言

0．0 引言

0．1 当前版本

0．2 快速浏览

0．3 致谢

第1章 基本理论

1．0 布尔理论

1．1 数论

1．2 字符理论

第2章 基本数据结构

2．0 束论

2．1* 集合论

2．2 串论

2．3 表论

第3章 函数理论

3．0 函数

3．1 量词

3．2* 函数若干点讨论

3．3 表作为函数

3．4* 极限与实数

第4章 程序理论

4．0 规范

4．1 程序开发

4．2 时间

4．3 空间

第5章 程序设计语言

5．0 作用域

5．1 数据结构

5．2 控制结构

5．3 时间与空间依赖

5．4* 断言

5．5 子程序

5．6* 别名

5．7* 概率程序设计

5．8* 函数式程序设计

第6章 递归定义

6．0 递归数据定义

6．1 递归程序定义

第7章 理论设计与实现

7，0 数据理论

7．1 程序理论

7．2 数据转换

第8章 并发

8．0 独立组合

8．1 顺序到并行的转换

第9章 交互

9．0 交互变量

9．1 通信

第10章 练习

10．0 基本理论

10．1 基本数据结构

10．2 函数理论

10．3 程序理论

10．4 程序设计语言

10．5 递归定义

10．6 理论设计与实现

10．7 并发

10．8 交互

第11章 参考

11．0 释疑

11．1 来源

11．2 参考文献

11．3 词语对照与索引

11．4 公理和定律

11．5 名字

11．6 符号

11．7 优先级

11．8 分配性

译后记