Formal Methods for Nonmonotonic and Related Logics:Vol II: Theory Revision, Inheritance, and Various Abstract Properties

非单调与相关逻辑的形式化方法 第2卷:理论修正、继承与各种抽象属性

数学史

原   价:
1735
售   价:
1388.00
优惠
平台大促 低至8折优惠
发货周期:外国库房发货,通常付款后3-5周到货
出  版 社
出版时间
2018年11月14日
装      帧
精装
ISBN
9783319896496
复制
页      码
473
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 100 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个