可计算性和计算复杂性.docVIP

可计算性与计算复杂性 Calculability Complexity TOC \o 1-3 \h \z \u HYPERLINK \l _Toc310505713 第二章 可计算函数 PAGEREF _Toc310505713 \h 1 HYPERLINK \l _Toc310505714 1、原语言 PAGEREF _Toc310505714 \h 1 HYPERLINK \l _Toc310505715 2、可计算函数 PAGEREF _Toc310505715 \h 1 HYPERLINK \l _Toc310505716 第三章 递归函数 PAGEREF _Toc310505716 \h 3 HYPERLINK \l _Toc310505717 1、算子 PAGEREF _Toc310505717 \h 3 HYPERLINK \l _Toc310505718 2、原始递归函数 PAGEREF _Toc310505718 \h 3 HYPERLINK \l _Toc310505719 3、原始递归谓词 PAGEREF _Toc310505719 \h 3 HYPERLINK \l _Toc310505720 4、受囿取极小 PAGEREF _Toc310505720 \h 4 HYPERLINK \l _Toc310505721 5、递归与可计算性 PAGEREF _Toc310505721 \h 5 HYPERLINK \l _Toc310505722 习 题 PAGEREF _Toc310505722 \h 6 HYPERLINK \l _Toc310505723 第四章 Post-Turing程序和Turing机 PAGEREF _Toc310505723 \h 8 HYPERLINK \l _Toc310505724 1、P-T程序 PAGEREF _Toc310505724 \h 8 HYPERLINK \l _Toc310505725 2、Turing机 PAGEREF _Toc310505725 \h 9 HYPERLINK \l _Toc310505726 3、P-T程序编码 PAGEREF _Toc310505726 \h 10 HYPERLINK \l _Toc310505727 4、一些定理 PAGEREF _Toc310505727 \h 10 HYPERLINK \l _Toc310505728 习 题 PAGEREF _Toc310505728 \h 11 HYPERLINK \l _Toc310505729 第五章 半可计算性 PAGEREF _Toc310505729 \h 16 HYPERLINK \l _Toc310505730 习 题 PAGEREF _Toc310505730 \h 17 HYPERLINK \l _Toc310505731 第六章 半图厄系统 PAGEREF _Toc310505731 \h 18 HYPERLINK \l _Toc310505732 1、半图厄系统 PAGEREF _Toc310505732 \h 18 HYPERLINK \l _Toc310505733 2、半图厄系统与图灵机、半可计算集 PAGEREF _Toc310505733 \h 18 HYPERLINK \l _Toc310505734 3、不可判定问题 PAGEREF _Toc310505734 \h 18 HYPERLINK \l _Toc310505735 习 题 PAGEREF _Toc310505735 \h 19 HYPERLINK \l _Toc310505736 第七章 图灵机 PAGEREF _Toc310505736 \h 26 HYPERLINK \l _Toc310505737 习 题 PAGEREF _Toc310505737 \h 26 HYPERLINK \l _Toc310505738 第八章 计算复杂性理论 PAGEREF _Toc310505738 \h 27 HYPERLINK \l _Toc310505739 习 题 PAGEREF _Toc310505739 \h 28 HYPERLINK \l _Toc310505740 历 年 真 题 PAGEREF _Toc310505740 \h 29 第二章 可计算函数 1、原语言 本书所有变元为非负整数 约定：① 输入变元：X0 约定： ① 输入变元：X0,X1,…… ② 临时变元：Z0,Z1,…… ③ 输出变元：Y ④ 初始时，一切变元为0（输入变元除外） ⑤ 转向无定义标号