金迪金，S.G。 代数逻辑。Transl.公司。罗伯特·H·西尔弗曼（Robert H.Silverman）的《俄文》。 （英语） Zbl 0591.94031号 数学问题书纽约等地：Springer-Verlag。十八、 第356页，146.00德国马克（1985年）。 这里是一个非常易读的介绍，介绍了应用代数逻辑在直观和解决问题的水平。作者是逻辑学家P.S.诺维科夫的学生，在莫斯科教育学院的研讨会上成功地使用了这本书。然而，这本书更好的标题应该是：通过问题解决应用代数逻辑。这12章涵盖了一系列有趣的主题，例如：逻辑函数的正规形式、对偶性、单调逻辑函数、波斯特定理、函数闭类、网络、接触网络（但没有奎因理论）、概率逻辑、多值逻辑和简单谓词逻辑。每一章都以几个问题的形式呈现，然后是解决大多数问题的提示，然后是对大多数问题的更详细的解决方案。实际上，总的来说，有300多个分级问题，200多个解决方案提示和大约260个相当完整的解决方案。尚未尝试利用概率逻辑的随机框架来开发非继电器电路的可靠性结果，例如电子管、晶体管或VLSI逻辑设计中出现的电路。对开关电路的优化问题进行了深入的研究，但对于涉及NP完全性或多项式时间复杂性的问题的复杂性估计，没有进行讨论。这本书对那些对提高基本逻辑技能感兴趣的解决问题研讨会的成员特别有用。审核人：A.A.穆林 引用于4文件 MSC公司： 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 94-01 与信息与传播理论相关的介绍性说明（教科书、教程论文等） 00A07年 问题书 03-01 与数理逻辑和基础有关的介绍性阐述（教科书、辅导论文等） 93E03型 控制理论中的随机系统（一般） 05年3月 布尔代数的逻辑方面 03G20年 Łukasiewicz和后代数的逻辑方面 03B50号 多值逻辑 关键词：后代数;交换代数;正规形式;逻辑函数;二元性;单调逻辑函数;波斯特定理;函数闭类;网络;接触网;概率逻辑;多值逻辑;谓词逻辑;优化;开关电路 PDF格式BibTeX公司 XML格式