超值优惠券
¥50
100可用 有效期2天

全场图书通用(淘书团除外)

不再提示
关闭
欢迎光临中图网 请 | 注册
> >
互模拟理论的逻辑研究

互模拟理论的逻辑研究

作者:姚从军著
出版社:科学出版社出版时间:2016-07-01
开本: 32开 页数: 188
中 图 价:¥46.8(7.2折) 定价  ¥65.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>
买过本商品的人还买了

互模拟理论的逻辑研究 版权信息

  • ISBN:9787030486202
  • 条形码:9787030486202 ; 978-7-03-048620-2
  • 装帧:暂无
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>

互模拟理论的逻辑研究 内容简介

《互模拟理论的逻辑研究》从逻辑的角度研究互模拟,主要以模型论、集合论和模态逻辑的知识为背景,意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程,从理论层面探讨互模拟的基本理论和作用。《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。  《互模拟理论的逻辑研究》可供数学、逻辑学和计算机专业的研究生阅读.也可供那些对集合论和模型论感兴趣的读者阅读、参考。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服