扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
买过本商品的人还买了
互模拟理论的逻辑研究 版权信息
- ISBN:9787030486202
- 条形码:9787030486202 ; 978-7-03-048620-2
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
互模拟理论的逻辑研究 内容简介
《互模拟理论的逻辑研究》从逻辑的角度研究互模拟,主要以模型论、集合论和模态逻辑的知识为背景,意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程,从理论层面探讨互模拟的基本理论和作用。《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。 《互模拟理论的逻辑研究》可供数学、逻辑学和计算机专业的研究生阅读.也可供那些对集合论和模型论感兴趣的读者阅读、参考。
书友推荐
- >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
月亮虎
月亮虎
¥14.4¥48.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥25.0¥48.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
朝闻道
朝闻道
¥15.0¥23.8 - >
月亮与六便士
月亮与六便士
¥18.1¥42.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0
本类畅销
-
十二字节
¥42.4¥69 -
前瞻交互:从语音、手势设计到多模融合
¥76.3¥109 -
人工智能
¥18.6¥55 -
人工智能技术商业应用场景实战
¥45.8¥79 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206