扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
逻辑学实验教程 版权信息
- ISBN:9787310040452
- 条形码:9787310040452 ; 978-7-310-04045-2
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
逻辑学实验教程 内容简介
《南开哲学教材系列:逻辑学实验教程》包括两部分内容。**部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是lpl软件的操作与应用。作者在《数理逻辑实验教程》中,已经较详细地介绍了lpl软件的(操作)命令。本教材主要讲解lpl中三个软件fitch、boole和tarski’sworld的操作和应用。本教材在编写过程中,主要参考了jon barwise和john etchemendy两人合著的《语言证明逻辑》(language proof logie)一书,特别是“you try it”以及我编著的《数理逻辑实验教程》。
逻辑学实验教程 目录
**篇 在线逻辑学习软件简介
**章 亚里士多德逻辑学习软件简介
**节 computational aristotelian term logtic简介
第二节 philosophy lander简介
第二章 数理逻辑学习软件简介
**节 llsing truth fables简介
第二节 plato简介
第三章 模态逻辑和动态逻辑学习软件简介
**节 modal logic简介
第二节 dynamic logic简介
第二篇 lpl软件的操作与应用
第四章 操作与应用(一)
**节 原子语句的操作与应用
第二节 原子语句逻辑的操作与应用
第五章 操作与应用(二)
**节 布尔联结词的操作与应用
第二节 布尔联结词逻辑的操作与应用
第六章 操作与应用(三)
**节 布尔逻辑证明方法的操作与应用
第二节 形式证明和布尔逻辑的操作与应用
第七章 操作与应用(四)
**节 条件句的操作与应用
第二节 条件句逻辑的操作与应用
第八章 操作与应用(五)
**节 量词的操作与应用
第二节 量词逻辑的操作与应用
第九章 操作与应用(六)
**节 多重量词的操作与应用
第二节 量词证明方法的操作与应用
第三节 形式证明与量词的操作与应用
展开全部
书友推荐
- >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥18.6¥58.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥34.1¥48.0 - >
有舍有得是人生
有舍有得是人生
¥14.9¥45.0 - >
巴金-再思录
巴金-再思录
¥15.2¥46.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.1¥24.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
月亮虎
月亮虎
¥15.4¥48.0