📚 网上馆配 · 在线荐购平台

内容简介：本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明。其次，用逻辑定理的机器证明工具TPG实现逻辑定理的自动证明。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明。