扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
互模拟理论的逻辑研究 版权信息
- ISBN：9787030486202
- 条形码：9787030486202 ; 978-7-03-048620-2
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 所属分类：>
互模拟理论的逻辑研究 内容简介
《互模拟理论的逻辑研究》从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。 《互模拟理论的逻辑研究》可供数学、逻辑学和计算机专业的研究生阅读.也可供那些对集合论和模型论感兴趣的读者阅读、参考。
书友推荐
- >
李白与唐代文化
李白与唐代文化
¥14.4¥29.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥25.2¥49.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥19.6¥39.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
回忆爱玛侬
回忆爱玛侬
¥15.9¥32.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥10.1¥14.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥17.7¥26.0
本类畅销
-
深度学习自然语言处理实战
¥25.8¥59.9 -
过程控制
¥11.9¥35 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6
