数理逻辑与机器证明_科学商城—

您好，欢迎来到科学出版社！，新用户？ [免费注册]

热门关键词： 颠覆性技术创新研究现代数学基础丛书

0去购物车结算: 购物车中还没有商品，赶紧选购吧！

全部商品分类

网上书店按需印刷教学服务

当前位置: > 数理逻辑与机器证明

销售排行榜

数据驱动流体力学基础与实践
￥71.10元

中药功效研究思路与实践
￥61.62元

抗感染治疗药物监测：理论与临床实践
￥94.80元

航空航天器供电系统（第二版）
￥70.31元

法医临床司法鉴定实务
￥173.80元

浏览历史

联系编辑

标题：

内容：

联系方式：

数理逻辑与机器证明

书号：

作者：
外文书名：
装帧：

开本：
页数：0

字数：156000

语种：
出版社：科学出版社

出版时间：
所属分类：
定价： ￥1.15元

售价： ￥0.91元

图书介质:

纸质书

购买数量： 件 缺货，请选择其他介质图书！
商品总价：

内容介绍

用户评论

全部咨询

内容简介
本书介绍数理逻辑及其在机器证明中的应用．
数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分，主要描述与数理逻辑有关的机器证明问题．
本书可用作计算机专业及有关专业的教材，也可供有关专业的科技人员参考．

暂时还没有任何用户评论

总计 0 个记录，共 1 页。第一页上一页下一页最末页

全部咨询(共0条问答)

暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。第一页上一页下一页最末页

用户名：匿名用户

E-mail：

咨询内容：

绪论
第一章命题逻辑
1.1 命题连接词
1.2 公式
1.3 形式推理系统（上）
1.4 形式推理系统（下）
1.5 赋值
1.6 逻辑推论
1.7 合取范式和析取范式
1.8 连接词的完备集
第二章一阶逻辑
2.1 命题函数和量词
2.2 公式
2.3 形式推理系统
2.4 赋值
2.5 逻辑推论
2.6 前束范式
第三章可靠性和完备性
3.1 恒真性和可真性
3.2 可靠性
3.3 命题逻辑的完备性
3.4 一阶逻辑的完备性
3.5 一阶逻辑（带等词）的完备性
3.6 形式数学系统
第四章机器证明
4.1 试探法
4.2 判定法
4.3 计算机辅助证明
4.4 证明算法
第五章 Herbrand定理
5.1 无#前束范式
5.2 Herbrand定理
第六章 Davis-Putnam方法和分解法则
6.1 Davis-Putnam方法
6.2 统一代入
6.3 分解法则
附录重言式系统
参考书目