当前位置：首页 > 哲学宗教

逻辑、信息和互动

逻辑、信息和互动

逻辑、信息和互动PDF电子书下载

电子书积分：14 积分如何计算积分？
作者：（荷）约翰·范本特姆著；刘奋荣，余俊伟等译
出版社：北京：科学出版社
出版年份：2008
ISBN：9787030205254
页数：403 页

图书介绍：本书是由我们翻译的世界著名逻辑学家范本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在计算机和信息领域的应用。

查看图书目录点击购买PDF全本电子书

上一篇：汉宋易学解读下一篇：菜根谭

《逻辑、信息和互动》目录

标签：范本逻辑互动信息

对应理论 4

两个格式塔中的模态逻辑 82

安保、界限和广义语义学 107

动态箭号逻辑笔记 126

谓词逻辑的模态基础 141

使互模拟安全的程序构造 173

“人的存在并非是孤立的”：逻辑与交流 194

信念修正的动态逻辑 227

偏好升级的动态逻辑 254

动态认知逻辑中的博弈 282

作为进程模型的扩展博弈 309

逻辑博弈对博弈逻辑是完全的 334

博弈中的理性动态和认知逻辑 353

附录一英-汉专业术语对照表 390

附录二英-汉人名对照表 399

致谢 402

相关图书

作者其它书籍

出版社其它书籍

本类热门