实用程序设计理论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

实用程序设计理论PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第0章　绪言1

0.0　引言1

0.1　当前版本2

0.2　快速浏览2

0.3　致谢3

第1章　基本理论5

1.0　布尔理论5

1.0.0　公理和证明规则8

1.0.1　表达式和证明格式9

1.0.2　单调性和反单调性11

1.0.3　上下文13

1.0.4　形式化15

1.1　数论16

1.2　字符理论17

第2章　基本数据结构18

2.0　束论18

2.1　集合论21

2.2　串论22

2.3　表论25

2.3.0　多维结构28

第3章　函数理论30

3.0　函数30

3.0.0　简化的函数记号32

3.0.1　作用域和置换33

3.1　量词34

3.2　函数若干点讨论37

3.2.0　函数包含和相等38

3.2.1　高阶函数39

3.2.2　函数组合39

3.3　表作为函数41

3.4　极限与实数42

第4章　程序理论44

4.0　规范44

4.0.0　规范记号46

4.0.1　规范定律48

4.0.2　精化50

4.0.3　条件50

4.0.4　程序52

4.1　程序开发54

4.1.0　精化定律54

4.1.1　表求和55

4.1.2　二的指数幂57

4.2　时间58

4.2.0　真实时间58

4.2.1　递归时间60

4.2.2　终止问题63

4.2.3　可靠性与完备性64

4.2.4　线性查找65

4.2.5　二分查找66

4.2.6　快速指数运算72

4.2.7　斐波那契数74

4.3　空间78

4.3.0　最大空间80

4.3.1 平均空间81

第5章　程序设计语言84

5.0　作用域84

5.0.0　变量说明84

5.0.1　变量悬挂85

5.1　数据结构86

5.1.0　数组86

5.1.1　记录88

5.2　控制结构88

5.2.0 while循环88

5.2.1　包含退出的循环90

5.2.2　二维查找92

5.2.3 for循环94

5.2.4　转向96

5.3　时间与空间依赖97

5.4　断言98

5.4.0　检查98

5.4.1　回溯98

5.5　子程序99

5.5.0 result表达式99

5.5.1　函数100

5.5.2　过程101

5.6　别名102

5.7　概率程序设计104

5.7.0　随机数产生器107

5.7.1　信息110

5.8　函数式程序设计111

5.8.0　函数精化113

第6章　递归定义116

6.0　递归数据定义116

6.0.0　构造和归纳116

6.0.1　最小不动点120

6.0.2　递归数据构造121

6.1　递归程序定义124

6.1.0　递归程序构造124

6.1.1　循环定义126

第7章　理论设计与实现128

7.0　数据理论128

7.0.0　数据-堆栈理论128

7.0.1　数据-堆栈实现129

7.0.2　简单数据-堆栈理论130

7.0.3　数据-队列理论131

7.0.4　数据-树理论133

7.0.5　数据-树实现133

7.1　程序理论135

7.1.0　程序-堆栈理论136

7.1.1　程序-堆栈实现136

7.1.2　复杂程序-堆栈理论136

7.1.3　弱程序-堆栈理论137

7.1.4　程序-队列理论137

7.1.5　程序-树理论138

7.2　数据转换139

7.2.0　安全开关141

7.2.1　取一个数142

7.2.2　语法分析144

7.2.3　有界队列146

7.2.4　可靠性与完备性149

第8章　并发150

8.0　独立组合150

8.0.0　独立组合定律152

8.0.1　表并发153

8.1　顺序到并行的转换154

8.1.0　缓冲区155

8.1.1　插入排序156

8.1.2　哲学家就餐问题157

第9章　交互160

9.0　交互变量160

9.0.0　自动调温器162

9.0.1　空间163

9.1　通信166

9.1.0　可实现性167

9.1.1　输入和输出168

9.1.2　通信计时169

9.1.3　递归定义的通信170

9.1.4　合并171

9.1.5　监控器172

9.1.6　反应控制器173

9.1.7　信道声明175

9.1.8　死锁176

9.1.9 广播178

第10章　练习185

10.0　基本理论185

10.1　基本数据结构193

10.2　函数理论196

10.3　程序理论201

10.4　程序设计语言219

10.5　递归定义223

10.6　理论设计与实现230

10.7　并发237

10.8　交互239

第11章　参考245

11.0　释疑245

11.0.0　记号245

11.0.1　布尔理论245

11.0.2　束论246

11.0.3　串论247

11.0.4　函数理论248

11.0.5　程序理论248

11.0.6　程序设计语言250

11.0.7　递归定义251

11.0.8　理论设计与实现252

11.0.9　并发252

11.0.10　交互253

11.1　来源253

11.2　参考文献255

11.3　词语对照与索引259

11.4　公理和定律265

11.4.0　布尔265

11.4.1　通用符号269

11.4.2　数270

11.4.3　束271

11.4.4　集合273

11.4.5　串273

11.4.6　表274

11.4.7　函数274

11.4.8　量词276

11.4.9　极限280

11.4.10　规约与程序280

11.4.11　置换281

11.4.12　条件281

11.4.13　精化282

11.5　名字282

11.6　符号283

11.7　优先级285

11.8　分配性286

译后记287