Can I read 可计算性与计算复杂性导引 on EtoBox?

可计算性与计算复杂性导引 by 张立昂编著, 张立昂编著, 张立昂 is a book available to read on EtoBox.

What is 可计算性与计算复杂性导引 about?

1 (p1): 第一章 程序设计语言?和可计算函数 1 (p1-1): 1.1 预备知识 2 (p1-2): 1.2 Church-Turing论题 3 (p1-3): 1.3 程序设计语言? 9 (p1-4): 1.4 可计算函数 10 (p1-5): 1.5 宏指令 12 (p1-6): 习题 13 (p2): 第二章 原始递归函数 13 (p2-1): 2.1 原始递归函数 17 (p2-2): 2.2 原始递归谓词 18 (p2-3): 2.3 迭代运算、有界量词和极小化 22 (p2-4): 2.4 配对函数和G?del数 24 (p2-5): 2.5 原始递归运算 28 (p2-6): 2.6 Ackermann函数 33 (p2-7): 2.7 字函数的可计算性 36 (p2-8): 习题 39 (p3): 第三章 通用程序 39 (p3-1): 3.1 程序的代码 41 (p3-2): 3.2 停机问题 42 (p3-3): 3.3 通用程序 45 (p3-4): 3.4 递归可枚举集 48 (p3-5): 习题 50 (p4): 第四章 Turing机 50 (p4-1): 4.1 Turing机的基本模型 55 (p4-2): 4.2 Turing机的各种形式 60 (p4-3): 4.3 Turing机与可计算性 63 (p4-4): 4.4 Turing机接受的语言 65 (p4-5): 4.5 非确定型Turing机 67 (p4-6): 习题 69 (p5): 第五章 过程与文法 69 (p5-1): 5.1 半Thue过程 70 (p5-2): 5.2 用半Thue过程模拟Turing机 72 (p5-3): 5.3 文法 75 (p5-4): 5.4 再论递归可枚举集 77 (p5-5): 5.5 部分递归函数 78 (p5-6): 5.6 再论Church-Turing论题 79 (p5-7): 习题 80 (p6): 第六章 不可判定的问题 80 (p6-1): 6.1 判定问题 81 (p6-2): 6.2 Turing机的停机问题 83 (p6-3): 6.3 字问题和Post对应问题 86 (p6-4): 6.4 有关文法的不可判定问题 86 (p6-5): 6.5 一阶逻辑中的判定问题 89 (p6-6): 习题 90 (p7): 第七章 正则语言 90 (p7-1): 7.1 Chomsky谱系 93 (p7-2): 7.2 有穷自动机 101 (p7-3): 7.3 有穷自动机与正则文法的等价性 103 (p7-4): 7.4 正则表达式 109 (p7-5): 7.5 非正则语言 110 (p7-6): 习题 112 (p8): 第八章 上下文无关语言 112 (p8-1): 8.1 上下文无关文法 115

Author

张立昂编著, 张立昂编著, 张立昂

Publisher

北京市:北京大学出版社

Published

2011

Language

ZH

ISBN

9787301177686