南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列

1星价 ¥41.8 (7.2折)

2星价￥41.8 定价￥58.0

作者：李娜

出版社：南开大学出版社

本类榜单：哲学/宗教

分类：哲学/宗教 > 哲学 > 哲学理论

暂无评论

图文详情

ISBN：9787310060146
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：32开
页数：478
出版时间：2021-01-01
条形码：9787310060146 ; 978-7-310-06014-6

内容简介

本书是一部为高等院校实验逻辑学教学而编写的通用教材，是在该书版的基础上修订而成。全书共分为两编十六章：编“LPL(语言、证明和逻辑)软件介绍”分三章，主要介绍了本书所用到的软件--“塔斯基世界”,?第二编“实验逻辑学”包括四至十六章，分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。

编LPLSoftware简介章Tarski’sWorld7．0简介．．．31．1启动．．．31．2世界控制板．．．141．3语句控制板．．．181．4验证语法和真．．．221．5玩游戏．．．231．6偏好．．．27第2章Fitch3．2简介．．．302．1启动．．．302．2创建和编辑证明．．．382．3目标．．．462．4复制和粘贴．．．472．5打印证明．．．502．6建立练习．．．512．7参数设置．．．52第3章Bool

展开全部