目录 1 程序设计语言和可计算函数 1.1 预备知识 1.2 Church-Turing论题 1.3 程序设计语言 1.4 可计算函数 ...

目录 6 不可判定的问题 6.1 判定问题 6.2 Turing机的停机问题 6.3 字问题和Post对应问题 6.4 有关文法的不可判 ...

目录 2 原始递归函数 2.1 原始递归函数 2.2 原始递归谓词 2.3 迭代运算、有界量词和极小化 2.4 配对函数和Gödel数 ...