山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

R-演算:一种信念修正的逻辑/李未, 眭跃飞著

出版发行项:

北京:科学出版社,2021

ISBN及定价:

978-7-03-068583-4 精装/CNY138.00

载体形态项:

233页;25cm

其它题名:

一种信念修正的逻辑

个人责任者:

李未, 1943- 著

个人责任者:

眭跃飞, 1963- 著

学科主题:

算子演算

中图法分类号:

O177.6

书目附注:

有书目和索引

提要文摘附注:

本书对R-演算作多个视角的扩展，内容涉及命题逻辑的R-演算、描述逻辑的R-演算、命题模态逻辑的R-演算、逻辑程序的R-演算、一阶逻辑的R-演算等。

豆瓣简介：