判定问题的可解情况查看源代码讨论查看历史
《判定问题的可解情况》，系统考察判定问题的可解情况的重要论著。本书1954年由北荷兰出版公司在阿姆斯丹得出版。
内容简介
全书共分9章。第1章在有限域中的有效性和可满足性。阐述了合式公式及在有限域中合式的赋值的有效性和可满足性。第2章判定问题。讨论了五方面的内容，任意域上赋值的普遍有效性；可满足公式中消去命题变元；正规公式；判定问题的3个公式。第3章等阶式公式的解判定。讨论了判定问题的分解及等阶式公式的普遍有效的另一个准则。第4章仅包含一元谓词变项的合式公式的判定问题的解。讨论了3个问题，不包含约束变元和等词的两种形式的可判定问题的解法；消去定理；仅含有一元可判定谓词的通解。第5章包含等词的一阶谓词演算中的有效性的几个定理。其中有不含等词的有效性定理；斯柯伦范式；带等词的有效性定理。第6章具有特殊前束词的判定问题的解。其中包括判定问题的特例分析；前束词中含有一个全称量词的解；前束词中含有一个存在量词的解；单个前束与必然前束的判定问题的可约性；全称量词在所有存在量词前面的判定问题的解。第7章对于判定问题能被解决问题的进一步分类。第8章关于进一步研究的一般问题。第9章具有可数变项的合式公式的判定问题的解。带等词的谓词演算是一个受到严格约束的题目。约简理论就是其特例。有选择地给出语法的或语义的可判定的公式。通过简单的集合论的概念，给出了优于语法的公理系统的补充证明。而如果这个问题是一阶谓词演算的不可约公式和仅仅是普遍有效的，用词义阐述更方便。这一章对一阶谓词演算和带前束词的这类问题的划定问题的解给出了较详细的说明。
本书主要解决谓词演算的判定问题，特别是一元谓词的判定问题。从理论上解决了可判定问题的可解情况，提供了解决问题的方法，得出了一系列重要的结论。
作者简介
作者W.阿克曼(1896—1962)，德国数理逻辑学家，着重研究数理逻辑基础、递归函数和公理集合论方面。
工具书的特点
1、从编辑目的而言，它主要供查考、检索而非通读[1]。
2、从编排方法而言，工具书总是按某种特定体例编排，以体现其工具书性，易检性。
3、从内容而言，广泛吸收已有研究成果，所提供的知识、信息比较成熟可靠，叙述简明扼要，概括性强[2]。