简单实用的编程理论
需积分: 10 135 浏览量
更新于2024-07-21
收藏 1.12MB PDF 举报
"A Practical Theory of Programming" 是一本由 Eric C. R. Hehner 编写的关于编程理论的书籍,特别关注实用性和广泛的适用性。书中提出的理论比Hoare逻辑、Dijkstra的方法、Lones的维也纳发展方法以及Temporal Logic等传统理论更为简洁,同时更具有普遍性。在这个理论中,规范被简化为一个布尔表达式,而细化则是普通的蕴含关系。此理论不仅适用于终止和非终止计算,也适用于顺序和并行计算,以及独立和交互式计算,并且包括时间限制,可用于算法分类和实时应用。
书的内容涵盖了多个基础理论,包括:
- **布尔理论**:介绍布尔逻辑的基础,如公理和证明规则,表达式和证明格式,单调性和反单调性,以及形式化方法。
- **数论**:探讨与计算相关的数字理论,这对于理解编程中的算术运算至关重要。
- **字符理论**:讨论字符处理和字符串操作的基本概念。
接下来,书中进一步讨论了基本数据结构:
- **束理论(Bunch Theory)**:这是对集合概念的一种抽象,是构建数据结构的基础。
- **集合理论(optional)**:虽然不是必须部分,但提供了对集合操作的深入理解。
- **字符串理论**:涉及字符串的创建、操作和处理。
- **列表理论**:涵盖单链表和多维结构,是许多编程语言中的核心数据结构。
然后,书中深入到函数理论:
- **函数**:定义和表示函数的方法,包括简化的函数记法。
- **函数属性**:可能包括函数的性质,如单调性、逆函数等。
此外,书中还可能包含其他主题,如控制结构、程序验证、错误处理和模块化等,这些都是编程实践中不可或缺的部分。这本书的目标是提供一种直接、实用的编程理论框架,使读者能够更好地理解和设计复杂的计算系统。通过这种方式,读者可以运用这些理论来编写更加高效、可靠的代码,并能适应各种计算环境和需求。
2015-10-27 上传
2019-11-15 上传
2023-10-12 上传
2023-10-18 上传
2023-04-01 上传
2023-11-29 上传
2023-04-06 上传
2023-09-29 上传
2023-05-11 上传
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
flexlm306
- 粉丝: 1
- 资源: 22
最新资源
- Hadoop生态系统与MapReduce详解
- MDS系列三相整流桥模块技术规格与特性
- MFC编程:指针与句柄获取全面解析
- LM06:多模4G高速数据模块,支持GSM至TD-LTE
- 使用Gradle与Nexus构建私有仓库
- JAVA编程规范指南:命名规则与文件样式
- EMC VNX5500 存储系统日常维护指南
- 大数据驱动的互联网用户体验深度管理策略
- 改进型Booth算法:32位浮点阵列乘法器的高速设计与算法比较
- H3CNE网络认证重点知识整理
- Linux环境下MongoDB的详细安装教程
- 压缩文法的等价变换与多余规则删除
- BRMS入门指南:JBOSS安装与基础操作详解
- Win7环境下Android开发环境配置全攻略
- SHT10 C语言程序与LCD1602显示实例及精度校准
- 反垃圾邮件技术:现状与前景