依稀記得高三參加魔都某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數 ...