依稀记得高三参加魔都某985自主招生面试时，一个面试老师问我SQL是什么，我当时首先说SQL是一个高级的编程语言。 当时那个老师说这个说法是有问题的。 其实我之前也比较疑惑，SQL和一般的编程语言比 ...

目录 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数 ...