加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书数理逻辑9787300284392
¥ ×1
商品
服务
物流
章 哲学缘起1.1 哲学之求真1.2 从哲学到逻辑1.2.1 亚里士多德的逻辑与哲学1.2.2 弗雷格的逻辑与哲学第2章 命题逻辑2.1 导言2.1.1 什么是命题逻辑2.1.2 命题逻辑发展简史2.1.3 本章的基本脉络2.2 语言. 语义..1 真与真值..2 组合.. 联词与真值表..4 形式语义..5 常见重言式2.4 公理系统2.4.1 命题演算2.4.2 明和内定理2.4.3 演绎规则2.4.4 演绎定理2.4.5 公理的独立2.5 可靠和接近2.5.1 可靠明2.5.2 接近明2.5.3 广义接近定理2.5.4 公理的独立2.5.5 紧致和可判定第3章 一阶逻辑3.1 导言3.1.1 问题引入3.1.2 早期简史3.2 语法3.2.1 基本语法3.2.2 无歧义3.. 递归定义3.2.4 归纳明3.2.5 自由变元3.3 语义3.3.1 结构与赋值3.3.2 塔斯基语义3.3.3 合同与代入3.3.4 重要有效式3.3.5 公式的范式3.4 公理系统3.4.1 公理系统3.4.2 明与演绎3.4.3 重要元定理3.4.4 演绎规则3.4.5 逻辑与理论3.5 接近定理3.5.1 可靠定理3.5.2 可满足定理3.5.3 可扩张定理3.5.4 接近定理……第4章 一阶理论第5章 不接近第6章 模态逻辑参考文献符号索引名称索引术语索引
张立英,中央财经大学现代逻辑研究所教授,哲学博士,北京大学逻辑学专业本、硕、博,荷兰阿姆斯特丹大学访问学者。主要研究方向为哲学逻辑。曾获“金岳霖学术奖一等奖”(2010年)、“北京大学很好博士二等奖”,入选“北京高等学校英才计划”(2013年)。
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员