扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(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软件的操作与应用
第四章 操作与应用（一）
**节 原子语句的操作与应用
第二节 原子语句逻辑的操作与应用
第五章 操作与应用（二）
**节 布尔联结词的操作与应用
第二节 布尔联结词逻辑的操作与应用
第六章 操作与应用（三）
**节 布尔逻辑证明方法的操作与应用
第二节 形式证明和布尔逻辑的操作与应用
第七章 操作与应用（四）
**节 条件句的操作与应用
第二节 条件句逻辑的操作与应用
第八章 操作与应用（五）
**节 量词的操作与应用
第二节 量词逻辑的操作与应用
第九章 操作与应用（六）
**节 多重量词的操作与应用
第二节 量词证明方法的操作与应用
第三节 形式证明与量词的操作与应用
展开全部
书友推荐
- >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
回忆爱玛侬
回忆爱玛侬
¥9.8¥32.8 - >
朝闻道
朝闻道
¥15.0¥23.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8
