非经典数理逻辑与近似推理 | 2版.pdf 本书讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。 叁号仓库 2022年07月15日 0 点赞 0 评论 8875 浏览
数理逻辑与机器证明.pdf 本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分 叁号仓库 2022年07月15日 0 点赞 0 评论 6390 浏览
