| 作者：（加拿大）Eric C.R.Hehner 译者：万剑怡 郑宇华 |
| 中译本序 第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 分配性 译后记 |
内容加载中，请稍后...
商品评论（0条）