当前位置:首页 > 数理化
算法论
算法论

算法论PDF电子书下载

数理化

  • 电子书积分:12 积分如何计算积分?
  • 作 者:莫绍揆编著
  • 出 版 社:北京:科学出版社
  • 出版年份:1982
  • ISBN:15031·447
  • 页数:312 页
图书介绍:
《算法论》目录
标签:编著 算法

第一章 基本概念 1

1 字母、字母表与字 1

2 首尾与出现 11

3 替换与代入 21

4 独立系及转换 26

5 映照 32

第二章 演算与算法 38

1 演算 38

2 算法 44

3 等价与嵌入 54

4 规则与字母表的化归 72

5 文法与语言 82

6 机器算法 86

7 关于机器的一些讨论 94

8 演算与算法的应用 105

第三章 算法的合成与嵌入 116

1 换中算法的例子 117

2 首尾算法的例子 122

3 机器算法的例子 131

4 算法的典型化 136

5 算法的合成(上) 142

6 算法的合成(下) 152

7 各种算法集的互相等价互相嵌入 158

8 关于算法的各种约定 167

9 通用算法 178

第四章 演算的合成与嵌入 199

1 一些特殊的演算 199

2 演算的嵌入 205

3 组合演算化归为换中演算 215

4 演算与算法的互相嵌入 225

5 通用演算 230

6 演算间的各种对应关系 239

7 与演算有关的集合 246

8 演算的合成 250

第五章 判定问题以及与递归函数的关系 261

1 可判性与半可判性 261

2 可判定性的初步性质 269

3 在孤一字母表中的可判定性 276

4 一般字母表中有关算法的判定 284

5 一般字母表中有关演算的判定(上) 288

6 一般字母表中有关演算的判定(下) 291

7 演算与算法化归于递归函数 293

8 递归函数用算法来计算 301

9 丘吉杜灵论题 307

相关图书
作者其它书籍
返回顶部