由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版 R-演算:一种信念修正的逻辑:a logicof belief revision
¥ ×1
《R-演算:一种信念修正的逻辑》目录参见目录图
R-演算是非单调的Gentzen型演绎系统,是一种具体的信念修正算子,被证明满足AGM假设和DP假设。本书是为了扩展R演算(i)从一阶逻辑到命题逻辑,描述逻辑,模态逻辑和逻辑编程;(ii)从最小变化语义到子集最小变化,伪子公式最小变化和基于演绎的最小变化(最后两个最小变化是新定义的);并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算,我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外,R演算的两个应用被赋予了默认理论和语义继承网络。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格