0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: > 数理逻辑与机器证明

销售排行榜

浏览历史

数理逻辑与机器证明


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
数理逻辑与机器证明
  • 书号：
    作者：
  • 外文书名：
  • 装帧：
    开本：
  • 页数：0
    字数：156000
    语种：
  • 出版社：科学出版社
    出版时间：
  • 所属分类：O14 数理逻辑、数学基础
  • 定价： ￥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 分解法则
    附录 重言式系统
    参考书目
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com