广东职业技术学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:11

题名/责任者:
机器证明的逻辑推定/李娜著
出版发行项:
北京:科学出版社,2023.6
ISBN及定价:
978-7-03-075624-4/CNY128.00
载体形态项:
255页:图;24cm
并列正题名:
Logical inference of machine proof
个人责任者:
李娜
学科主题:
逻辑推理-机器证明
中图法分类号:
O141
一般附注:
“中央高校基本科研业务费专项资金资助”项目号: ZB21BZ0109
相关题名附注:
英文并列题名取自封面
书目附注:
有书目
提要文摘附注:
本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术, 而机器证明又从定理的自动证明和计算机辅助证明两个方面来展 现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明 (一种自然推理证明)。其次, 用逻辑定理的机器证明工具TPG (Tree Proof Generater) 实现逻辑定理的自动证明 (一种树证明)。最后, 用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明 (一种自然推理证明)。
使用对象附注:
本书可作为哲学、逻辑学、数学、语言学等相关专业学生学习逻辑学的参考书, 也可为人工智能相关研究者提供参考
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/9 00787829   书库 (图书定位请点击这里)    可借 书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架