判定問題的可解情況檢視原始碼討論檢視歷史
《判定問題的可解情況》，系統考察判定問題的可解情況的重要論著。本書1954年由北荷蘭出版公司在阿姆斯丹得出版。
內容簡介
全書共分9章。第1章在有限域中的有效性和可滿足性。闡述了合式公式及在有限域中合式的賦值的有效性和可滿足性。第2章判定問題。討論了五方面的內容，任意域上賦值的普遍有效性；可滿足公式中消去命題變元；正規公式；判定問題的3個公式。第3章等階式公式的解判定。討論了判定問題的分解及等階式公式的普遍有效的另一個準則。第4章僅包含一元謂詞變項的合式公式的判定問題的解。討論了3個問題，不包含約束變元和等詞的兩種形式的可判定問題的解法；消去定理；僅含有一元可判定謂詞的通解。第5章包含等詞的一階謂詞演算中的有效性的幾個定理。其中有不含等詞的有效性定理；斯柯倫範式；帶等詞的有效性定理。第6章具有特殊前束詞的判定問題的解。其中包括判定問題的特例分析；前束詞中含有一個全稱量詞的解；前束詞中含有一個存在量詞的解；單個前束與必然前束的判定問題的可約性；全稱量詞在所有存在量詞前面的判定問題的解。第7章對於判定問題能被解決問題的進一步分類。第8章關於進一步研究的一般問題。第9章具有可數變項的合式公式的判定問題的解。帶等詞的謂詞演算是一個受到嚴格約束的題目。約簡理論就是其特例。有選擇地給出語法的或語義的可判定的公式。通過簡單的集合論的概念，給出了優於語法的公理系統的補充證明。而如果這個問題是一階謂詞演算的不可約公式和僅僅是普遍有效的，用詞義闡述更方便。這一章對一階謂詞演算和帶前束詞的這類問題的劃定問題的解給出了較詳細的說明。
本書主要解決謂詞演算的判定問題，特別是一元謂詞的判定問題。從理論上解決了可判定問題的可解情況，提供了解決問題的方法，得出了一系列重要的結論。
作者簡介
作者W.阿克曼(1896—1962)，德國數理邏輯學家，着重研究數理邏輯基礎、遞歸函數和公理集合論方面。
工具書的特點
1、從編輯目的而言，它主要供查考、檢索而非通讀[1]。
2、從編排方法而言，工具書總是按某種特定體例編排，以體現其工具書性，易檢性。
3、從內容而言，廣泛吸收已有研究成果，所提供的知識、信息比較成熟可靠，敘述簡明扼要，概括性強[2]。