-
>
(精)东北革命和抗日根据地货币研究
-
>
近代天津工业与企业制度
-
>
眉山金融论剑
-
>
图解资本论
-
>
金融炼金术(专业珍藏版)2021专业审订
-
>
认知世界的经济学
-
>
全球货币进化史
非良基集.余代数与模态逻辑研究 版权信息
- ISBN:9787521806649
- 条形码:9787521806649 ; 978-7-5218-0664-9
- 装帧:平装
- 册数:暂无
- 重量:暂无
- 所属分类:>>
非良基集.余代数与模态逻辑研究 本书特色
本书是我国学术界*部关于集合论、余代数与模态逻辑交叉研究的著作。首先,以非良基集合为语义结构对模态逻辑进行解释,研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题,取得了一些新的研究成果,丰富了集合论理论和逻辑理论。其次,把余代数看做非良基集合的抽象数学模型,它作为对关系语义学的推广,着重研究余代数模态逻辑。
非良基集.余代数与模态逻辑研究 内容简介
本书是我国学术界**部关于集合论、余代数与模态逻辑交叉研究的著作。首先,以非良基集合为语义结构对模态逻辑进行解释,研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题,取得了一些新的研究成果,丰富了集合论理论和逻辑理论。其次,把余代数看做非良基集合的抽象数学模型,它作为对关系语义学的推广,着重研究余代数模态逻辑。
非良基集.余代数与模态逻辑研究 目录
● 1.1 模态逻辑的句法和语义
● 1.2 模态对应理论
● 1.3 模型和框架构造
● 1.4 典范模型和完全性
● 1.5 有穷模型性质
●第2章 非良基集合论基础
● 2.1 集合论的基础知识
● 2.2 良基集合与非良基集合
● 2.3 非良基集与循环现象
● 2.4 本元
● 2.5 集合与图
● 2.6 平坦方程组
● 2.7 集合连续算子
● 2.8 不动点
● 2.9 集合上的互模拟关系
●第3章 反基础公理
● 3.1 反基础公理的基本形式
● 3.2 反基础公理的模型
● 3.3 反基础公理的变形
●部分目录
非良基集.余代数与模态逻辑研究 作者简介
史?Z,副教授,逻辑学专业硕士研究生导师。中国逻辑学会、北京市逻辑学会会员。本科生课程:逻辑学; 硕士研究生课程:集合论、数理逻辑(双语)、模态逻辑(双语)、哲学逻辑、逻辑原著选读、逻辑前沿讲座。
- >
巴金-再思录
巴金-再思录
¥14.7¥46.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥20.3¥58.0 - >
朝闻道
朝闻道
¥8.8¥23.8 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
月亮虎
月亮虎
¥14.4¥48.0 - >
有舍有得是人生
有舍有得是人生
¥17.1¥45.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0
-
置身事内 : 中国政府与经济发展
¥36.8¥65 -
1949-2009-八次危机-中国的真实经验
¥34¥55 -
怪诞行为学-可预测的非理性
¥35.6¥48 -
中国的货币化进程
¥33.7¥86 -
伟大的历程(中国农村改革起步实录)
¥26.8¥68 -
五常学经济
¥30.5¥38