由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书应用逻辑中的数学问题9787030646354
¥ ×1
上篇
丛书序
章 描述逻辑中的非标准推理:迄今为止的故事
1.1 引言
1.2 描述逻辑和标准推理
1.3 非标准推理——动机和定义
1.4 归类的结构表征
1.5 公共包含
1.6 体概念
1.7 重写
1.8 匹配
1.9 总结及未来展望
参考文献
第2章 可逻辑中的问题
2.1 引言
2.2 明的非形式概念
. 可逻辑的基础
2.4 直觉算术的可逻辑
2.5 可逻辑和受囿算术
2.6 双模态可逻辑的分类
2.7 马加里代数
2.8 可解释逻辑
2.9 梯度可代数
2.10 问题列表
参考文献
第3章 动态逻辑中的开放问题
3.1 动态逻辑
3.2 标准认知逻辑
3.3 公开宣告:动态认知逻辑
3.4 动态认知逻辑
3.5 标准逻辑的基础
3.6 从信息更新到信念修正
3.7 时态认知逻辑
3.8 博弈逻辑和博弈论
3.9 结论
参考文献
第4章 可计算与涌现
4.1 一个新兴的世界
4.2 描述、算法和归纳结构的崩塌
4.3 本体论和数学结构
4.4 一切从哪里开始
4.5 面向基于算法内容的模型
4.6 实在的层级
4.7 算法内容的重新审视
4.8 将要做什么
参考文献
第5章 轮回
5.1 引言
5.2 关于过程的例子
5.3 我们需要什么样的逻辑学
5.4 逻辑系统是什么,它们应该是什么
5.5 明的本质
5.6 结论
参考文献
第6章 两扇即将打开的门
6.1 逻辑和认知科学
6.2 中世纪的阿拉伯语义
参考文献
第7章 应用逻辑宣言
7.1 何谓应用逻辑
7.2 数学和逻辑,与数理逻辑的差别
7.3 应用哲学逻辑
7.4 计算机科学与应用逻辑的关系
7.5 案例研究
7.6 尽可能的兼收并蓄
参考文献
下篇
章 论可明的两个模型
1.1 导论
1.2 可逻辑
1.3 明逻辑
1.4 致谢
参考文献
第2章 纯粹数学理论的可计算理论方向
2.1 研究动机
2.2 方向
. 进展与展望
参考文献
第3章 可计算与可计算模型
3.1 预备知识
3.2 可计算模型的界
3.3 可计算模型的结构复杂
3.4 同构问题
3.5 可计算模型及指标集的种类
3.6 致谢
参考文献
第4章 相对论的一阶逻辑基础
4.1 简介(逻辑学和时空几何学)
4.2 更多具体的介绍(时空基础)
4.3 广义相对论时空的奇异的特征(对逻辑学家的挑战)
4.4 加速观察体扩展的狭义相对论的一阶逻辑公理系统
4.5 向广义相对论(GR)前进一步(在时钟上的引力效果)
4.6 未来研究的问题和建议
参考文献
第5章 混合系统
5.1 引言
5.2 数字程序
5.3 连续的植物和控制器
5.4 混合系统
5.5 离散化
5.6 连续化
5.7 方
参考文献
第6章 区域空间理论:区域代数、表象理论和逻辑
6.1 引言
6.2 区域空间理论的历史回顾
6.3 区域代数、模型和表述理论
6.4 空间上的区域命题模态逻辑
6.5 致谢
参考文献
索引
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
