0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 中图分类 > O 数理科学和化学 > O1 数学 > O14 数理逻辑、数学基础 > 数理逻辑引论与归结原理

相同语种的商品

销售排行榜

数理逻辑引论与归结原理


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
数理逻辑引论与归结原理
  • 陕西师范大学优秀学术著作基金资助出版
  • 书号：7030115791
    作者：王国俊
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：228
    字数：256000
    语种：中文
  • 出版社：科学出版社
    出版时间：2003-12-30
  • 所属分类：O14 数理逻辑、数学基础
  • 定价： ￥29.00元
    售价： ￥22.91元
  • 图书介质:

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

内容介绍

样章试读

用户评论

全部咨询

本书内容可分为4部分。第一部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第三部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第四部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
本书内容可分为4部分。第一部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第三部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第四部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 第一章 预备知识
    1.1偏序集
    1.2格
    1.3Boole代数
    第二章 命题演算
    2.1命题及其符号化
    2.2命题演算的语义理论
    2.3命题演算的语构理论
    第三章 一阶谓词演算的语义理论
    3.1一阶语言
    3.2解释、逻辑有效公式
    3.3逻辑等价
    第四章 一阶渭词演算的语构理论
    4.1形式系统K&
    4.2可证等价关系
    4.3前束范式
    4.4一阶系统K&的完备性定理
    4.5不含量词的公式
    第五章 Skolem标准形与Herbrand定理
    5.1引言
    5.2Skolem标准形
    5.3子句
    5.4正则函数系统与正则域*
    5.5Herbrand域与Herbrand定理
    5.6Davis与Putnam方法
    第六章 归结原理
    6.1命题演算中的归结方法
    6.2置换与合一
    6.3谓词演算中的归结原理
    6.4归结原理的完备性定理
    6.5求子句集S的简化方法
    第七章 归结方法的简化
    7.1引言
    7.2语义归结
    7.3锁归结
    7.4线性归结
    第八章 多值逻辑演算理论
    8.1引言
    8.2正则蕴涵算子
    8.3MV代数
    8.4Lukasiewicz命题演算系统
    8.5R0代数
    8.6命题演算系统&*
    参考文献
    索引
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

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

本平台为互联网非涉密平台，严禁处理、传输国家秘密。

　

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

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