机读格式显示(MARC)

• 000 01279nam0 2200289 450

• 001 0000355698

• 005 20231030162331.89

• 010 __ |a 978-7-03-076410-2 |b 精装 |d CNY130.00

• 100 __ |a 20231019d2023 em y0chiy50 ba

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a R-Calculus |e A logic of belief revision |f Wei li ·Yuefei Sui |d = R-演算 |e 一种信念修正的逻辑 |z chi

• 205 __ |a 英文版

• 210 __ |a 北京 |c 科学出版社 |d 2023.9

• 215 __ |a 200页 |d 25cm

• 314 __ |a 责任者Wei li规范汉译姓名: 李未; 责任者Yuefei Sui规范汉译姓名: 眭跃飞

• 330 __ |a 本书将R-微积分 (i) 从一阶逻辑到命题逻辑, 描述逻辑, 模态逻辑和逻辑编程; (ii) 从最小变化语义到子集最小变化, 伪子公式最小变化和基于演绎的最小变化 (最后两个最小变化是新定义的), 并证明关于这些逻辑中的最小变化的健全性和完备性定理。为了使R-微积分可计算, 本书给出了一个近似的R-微积分, 它在可计算性理论中使用有限损伤优先级方法。此外, 本书还给出R-演算在缺省理论和语义继承网络中的两个应用。

• 333 __ |a 本书适用于算子演算研究人员

• 510 1_ |a R-演算 |e 一种信念修正的逻辑 |z chi

• 517 1_ |a Logic of belief revision

• 606 0_ |a 算子演算 |A suan zi yan suan |x 英文

• 690 __ |a O177.6 |v 5

• 701 _0 |a 李未 |A li wei |4 著

• 701 _0 |a 眭跃飞 |A sui yue fei |4 著

• 801 _2 |a CN |b GDXHCF |c 20231030