互模拟理论的逻辑研究
图书信息
书名：互模拟理论的逻辑研究作者：姚从军
包装：平装
开本：16
全文字数：249000
出版社：科学出版社
出版时间：2016-07-01
图书简介
《互模拟理论的逻辑研究》系统介绍了互模拟理论的发展历程、基本理论和性质、与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、与非良基集合论之间的内在联系，“双模拟”的概念和性质等内容。作者邹崇理是中国哲学研究院研究员，本书对于逻辑学、数学和计算机科学领域的学者、师生深入研究互模拟理论有很大帮助，值得推荐。
推荐理由
本书详尽地总结了互模拟理论的基本理论和性质，深入探讨了互模拟与模态等价之间的关系，使读者能够更全面和深入地了解互模拟理论。本书有助于数学、逻辑学、计算机科学专业学生对互模拟理论有深入的认识和掌握。同时，本书结论权威、观点独到，对于专业人士有参考价值。