山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

机器证明的逻辑推定/李娜著

出版发行项:

北京:科学出版社,2023

ISBN及定价:

978-7-03-075624-4/CNY128.00

载体形态项:

255页;24cm

并列正题名:

Logical inference of machine proof

个人责任者:

李娜 著

学科主题:

逻辑推理-机器证明

中图法分类号:

O141

一般附注:

“中央高校基本科研业务费专项资金资助”

相关题名附注:

封面英文题名：Logical inference of machine proof

责任者附注:

南开大学哲学院

提要文摘附注:

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

使用对象附注:

本书适用于哲学、逻辑学、数学、语言学等相关专业学生；人工智能相关研究者

豆瓣简介：