成功加入购物车
图书条目标准图
李娜 著 / 南开大学出版社 / 2012-10 / 平装
售价 ¥ 29.00
品相 全新
优惠 满包邮
延迟发货说明
上书时间2019-12-30
卖家超过10天未登录
南开哲学教材系列:逻辑学实验教程
《南开哲学教材系列:逻辑学实验教程》包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。作者在《数理逻辑实验教程》中,已经较详细地介绍了LPL软件的(操作)命令。本教材主要讲解LPL中三个软件Fitch、Boole和Tarski’sWorld的操作和应用。本教材在编写过程中,主要参考了JonBarwise和JohnEtchemendy两人合著的《语言证明逻辑》(LanguageProofLogie)一书,特别是“Youtryit”以及我编著的《数理逻辑实验教程》。
第一篇在线逻辑学习软件简介第一章亚里士多德逻辑学习软件简介第一节ComputationalAristotelianTermLogtic简介第二节PhilosophyLander简介第二章数理逻辑学习软件简介第一节LlsingTruthFables简介第二节Plato简介第三章模态逻辑和动态逻辑学习软件简介第一节modallogic简介第二节dynamiclogic简介第二篇LPL软件的操作与应用第四章操作与应用(一)第一节原子语句的操作与应用第二节原子语句逻辑的操作与应用第五章操作与应用(二)第一节布尔联结词的操作与应用第二节布尔联结词逻辑的操作与应用第六章操作与应用(三)第一节布尔逻辑证明方法的操作与应用第二节形式证明和布尔逻辑的操作与应用第七章操作与应用(四)第一节条件句的操作与应用第二节条件句逻辑的操作与应用第八章操作与应用(五)第一节量词的操作与应用第二节量词逻辑的操作与应用第九章操作与应用(六)第一节多重量词的操作与应用第二节量词证明方法的操作与应用第三节形式证明与量词的操作与应用
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30