机器证明的逻辑推定

收藏
  • 【作者】李娜
  • 【关键词】逻辑推理 机器证明
  • 【出版社】科学出版社
  • 【出版日期】2023
  • 【ISBN】978-7-03-075624-4
  • 【中图分类号】 O141
  • 【内容简介】本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术,而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次,用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后,用交互式定理机器证明工具Fitch实现了逻辑定....全部展开
  • 【页码】255页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。