编程的实践理论 目录
第零章 介绍
0.0 当前版本
0.1 快速旅程
0.2 确认
第一章 基本理论
1.0 二进制理论
1.0.0 公理与证明规则
1.0.1 表达式与证明格式
1.0.2 单调性与非单调性
1.0.3 上下文
1.0.4 形式化
1.1 数的理论
1.2 字符的理论
第二章 基础的数据结构
2.0 束的理论
2.1 集合的理论
2.2 字符串的理论
2.3 列表的理论
2.3.0 多维的结构
第三章 函数理论
3.0 函数
3.0.0 缩写的函数的标记
3.0.1 作用域和替换
3.1 量词
3.2 函数优越点
3.2.0 函数的包含与相等
3.2.1 高阶函数
3.2.2 函数组合
3.3 列表作为函数
3.4 限制与实数
第四章 编程程序理论
4.0 规格
4.0.0 规格的标记
4.0.1 规格的定律
4.0.2 推导的事
4.0.3 条件
4.0.4 程序
4.1 程序开发
4.1.0 推导法则
4.1.1 列表求和
4.1.2 二的乘方
4.2 时间
4.2.0 真实时间
4.2.1 递归时间
4.2.2 中断
4.2.3 合理性和完备性
4.2.4 线性搜索
4.2.5 二分法搜索
4.2.6 快速乘方
4.2.7 斐波那些数
4.3 空间
4.3.0 最大空间
4.3.1 平均空间
第五章 编程的语言
5.0 作用域
5.0.0 变量声明
5.0.1 变量
5.1 数据结构
5.1.0 数组
5.1.1 记录
5.2 控制结构
5.2.0 while循环
5.2.1 有退出的循环
5.2.2 二维的搜索
5.2.3 for循环
5.2.4 去语句
5.3 时间和空间的依赖
5.4 断言
5.4.0 检查
5.4.1 反向追踪
5.5 子程序
5.5.0 结果表达式
5.5.1 函数
5.5.2 程序
5.6 别名
5.7 概率编程
5.7.0 随机数生成
5.7.1 信息
5.8 函数编程
5.8.0 函数推导的事
第六章 递归的定义
6.0 递归数据定义
6.0.0 组装与推演
6.0.1 最小固定点
6.0.2 递归数据的组装
6.1 递归程序的定义
6.1.0 递归程序的组装
6.1.1 循环定义
第七章 理论的设计和实现
7.0 数据理论
7.0.0 数据栈理论
7.0.1 数据栈实现
7.0.2 简单数据栈理论
7.0.3 数据队列理论
7.0.4 数据树的理论
7.0.5 数据树的实现
7.1 程序的理论
7.1.0 程序栈的理论
7.1.1 程序栈的实现
7.1.2 强程序栈的理论
7.1.3 弱程序栈的理论
7.1.4 程序队列的理论
7.1.5 程序树的理论
7.2 数据交换
7.2.0 安全交换
7.2.1 得到一个数
7.2.2 解析
7.2.3 有限队列
7.2.4 合理性和完备性
第八章 并发
8.0 独立的组合
8.0.0 独立组合的定律
8.0.1 列表的并发
8.1 顺序到并发的转换
8.1.0 缓存区
8.1.1 插入排序
8.1.2 哲学家用餐问题
第九章 交互
9.0 交互的变量
9.0.0 恒温调节器
9.0.1 空间
9.1 通信
9.1.0 实现性
9.1.1 输入和输出
9.1.2 通信耗时
9.1.3 递归的通信
9.1.4 合并
9.1.5 监视器
9.1.6 反应式控制器
9.1.7 频道声明
9.1.8 死锁
9.1.9 广播
第十章 练习
10.0 介绍
10.1 基本理论
10.2 基本数据结构
10.3 函数理论
10.4 程序理论
10.5 编程语言
10.6 递归定义
10.7 理论的设计和实现
10.8 并发
10.9 交互
第十一章引用
11.0 正确性
11.0.0 记号
11.0.1 基本理论
11.0.2 基本数据结构
11.0.3 函数理论
11.0.4 程序理论
11.0.5 编程语言
11.0.6 递归定义
11.0.7 理论的设计和实现
11.0.8 并发
11.0.9 交互
11.1 源
11.2 传记
11.3 索引
11.4 定律
11.4.0 二进制
11.4.1 泛型
11.4.2 数字
11.4.3 束
11.4.4 集合
11.4.5 字符串
11.4.6 列表
11.4.7 函数
11.4.8 量词
11.4.9 有限性
11.4.10 规格和程序
11.4.11 替换
11.4.12 条件
11.4.13 推导的事
11.5 名字
11.6 符号
11.7 优先级
11.8 贡献