杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

互模拟理论的逻辑研究/姚从军著

出版发行项:

北京:科学出版社,2016.07

ISBN及定价:

978-7-03-048620-2/CNY65.00

载体形态项:

188页;24cm

并列正题名:

Studies of the logic of bisimulation

个人责任者:

姚从军 (1971-) 著

学科主题:

模态逻辑-研究

中图法分类号:

B815.1

一般附注:

国家社科基金项目“互模拟理论的逻辑研究”结项成果

提要文摘附注:

本书从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。

使用对象附注:

本书适用于数学、逻辑学和计算机专业研究生

豆瓣简介：