返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新正版数理逻辑引论与归结原理9787030228994科学出版社
    • 作者: 王国俊,周红军著 | 王国俊,周红军编 | 王国俊,周红军译 | 王国俊,周红军绘
    • 出版社: 科学出版社
    • 出版时间:2017-12
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 王国俊,周红军著| 王国俊,周红军编| 王国俊,周红军译| 王国俊,周红军绘
    • 出版社:科学出版社
    • 出版时间:2017-12
    • 开本:128开
    • ISBN:9787030228994
    • 版权提供:科学出版社
    • 作者:王国俊,周红军
    • 著:王国俊,周红军
    • 装帧:平装-胶订
    • 印次:暂无
    • 定价:128.00
    • ISBN:9787030228994
    • 出版社:科学出版社
    • 开本:128开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2017-12
    • 页数:暂无
    • 外部编号:9046588
    • 版次:暂无
    • 成品尺寸:暂无

    Preface
    Chapter 1 Preliminaries
    1.1 Partially ordered sets
    1.2 Lattices
    1.3 Boolean algebras

    Chapter 2 Propositional Calculus
    2.1 Propositions and their symbolization
    2.2 Semantics of propositional calculus
    . Syntax of propositional calculus

    Chapter 3 Semantics of First Order Predicate Calculus
    3.1 First order languages
    3.2 Interpretations and logically valid formulas
    3.3 Logical equivalences

    Chapter 4 Syntax of First Order Predicate Calculus
    4.1 The formal system KL
    4.2 Provable equivalence relations
    4.3 Prenex normal forms
    4.4 Comleess of the first order system KL
    *4.5 ntifier-free formulas

    Chapter 5 Skolems Standard Forms and Herbrands Theorems
    5.1 Introduction
    5.2 Skolem standard forms
    5.3 Clauses
    *5.4 Regular function systems and regular universes
    5.5 Herbrand universes and Herbrands theorems
    5.6 The Davis-Putnam method

    Chapter 6 Resolution Principle
    6.1 Resolution in propositional calculus
    6.2 Substitutions and unifications
    6.3 Resolution Principle in predicate calculus
    6.4 Comleess theorem of Resolution Principle
    6.5 A simple method for searching clause sets S

    Chapter 7 Refinements of Resolution
    7.1 Introduction
    7.2 Semanti rsotion
    7.3 Lock resolution
    7.4 Linear resolution

    Chapter 8 Many-Valued Logic Calculi
    8.1 Introduction
    8.2 Regular implication operators
    8.3 MV-algebras
    8.4 Lukasiewicz propositional calculus
    8.5 R0-algebras
    8.6 The propositional deductive system L*

    Chapter 9 ntitative Logic
    9.1 ntitative logic theory in two-valued propositional logic system L
    9.2 ntitative logic theory in L ukasiewicz many-valued propositional logic systems Ln and Luk
    9.3 ntitative logic theory in many-valued R0-propositional logic systems L*n and L*
    9.4 Structural characterizations of maximally consistent theories
    9.5 Remarks on Godel and Product logic systems
    Bibliography
    Index

    评论

    Guo-Jun Wang、Hong-Jun Zhou著的《数理逻辑引论与归结原理(英文版)(精)》在版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的理论等4部分。同时,在版的基础上对“计量逻辑学”,关于一阶系统K完备的明等诸多内容做了补充或改写。 本书可供计算机专业、应用数学专业、人工智能专业的与高年级生及教师阅读。

    暂无相关内容 

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购