由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版逻辑学实验教程9787310040452南开大学出版社
¥ ×1
篇 在线逻辑学习软件简介
章 亚里士多德逻辑学习软件简介
节 Computational Aristotelian Term Logtic简介
第二节 Philosophy Lander简介
第二章 数理逻辑学习软件简介
节 Llsing Truth Fables简介
第二节 Plato简介
第三章 模态逻辑和动态逻辑学习软件简介
节 modal logic简介
第二节 dynamic logic简介
第二篇 LPL软件的操作与应用
第四章 操作与应用(一)
节 原子语句的操作与应用
第二节 原子语句逻辑的操作与应用
第五章 操作与应用(二)
节 布尔联结词的操作与应用
第二节 布尔联结词逻辑的操作与应用
第六章 操作与应用(三)
节 布尔逻辑明方法的操作与应用
第二节 形式明和布尔逻辑的操作与应用
第七章 操作与应用(四)
节 条件句的操作与应用
第二节 条件句逻辑的操作与应用
第八章 操作与应用(五)
节 量词的操作与应用
第二节 量词逻辑的操作与应用
第九章 操作与应用(六)
节 多重量词的操作与应用
第二节 量词明方法的操作与应用
第三节 形式明与量词的操作与应用
《南开哲学教材系列:逻辑学实验教程》包括两部分内容。部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。作者在《数理逻辑实验教程》中,已经较详细地介绍了LPL软件的(操作)命令。本教材主要讲解LPL中三个软件Fitch、Boole和Tarski’sWorld的操作和应用。本教材在编写过程中,主要参考了Jon Barwise和John Etchemendy两人合著的《语言明逻辑》(Language Proof Logie)一书,别是“You try it”以及我编著的《数理逻辑实验教程》。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格