由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书非良基集.余代数与模态逻辑研究9787521806649
¥ ×1
章 模态逻辑基础
1.1 模态逻辑的句法和语义
1.2 模态对应理论
1.3 模型和框架构造
1.4 典范模型和完全
1.5 有穷模型质
第2章 非良基集合论基础
2.1 集合论的基础知识
2.2 良基集合与非良基集合
. 非良基集与循环现象
2.4 本元
2.5 集合与图
2.6 平坦方程组
2.7 集合连续算子
2.8 不动点
2.9 集合上的互模拟关系
第3章 反基础公理
3.1 反基础公理的基本形式
3.2 反基础公理的模型
3.3 反基础公理的变形
3.4 反基础公理与余代数
第4章 模态语言的集合语义
4.1 模态语言的解释
4.2 互模拟与模态等价
4.3 模态可定义
4.4 集合语义下的逻辑质
4.5 余代数与模态逻辑
第5章 余代数逻辑及其应用
5.1 余代数的例子
5.2 余代数逻辑
5.3 余代数逻辑中的推理
5.4 可判定和复杂
5.5 复合
参考文献
史?,女,1980年生,河南省郑州市人。从2003年开始师从我国有名逻辑学家李娜教授研习现代逻辑,于2009年于南开大学哲学学院,哲学博士,现为中央财经大学文化与传媒学院副教授。主要从事符号逻辑、模态逻辑研究,著有《非良基集与模态逻辑》,在《哲学动态》《自然辩法研究》和《逻辑学研究》等刊物上发表学术三十余篇。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
