扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列 版权信息
- ISBN：9787310060146
- 条形码：9787310060146 ; 978-7-310-06014-6
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列 内容简介
本书是一部为高等院校实验逻辑学教学而编写的通用教材，是在该书版的基础上修订而成。全书共分为两编十六章：编“LPL(语言、证明和逻辑)软件介绍”分三章，主要介绍了本书所用到的软件--“塔斯基世界”,?第二编“实验逻辑学”包括四至十六章，分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列 目录
编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
展开全部
南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列 作者简介
李娜，女，南开大学哲学院教授。1983年起在河南大学政治系工作，1994年至2000年任河南大学政治系副教授，2000年任教授。2002年1月调入南开大学哲学系工作，一直从事现代逻辑的教学与研究。曾著有《数理逻辑的思想与方法》《集合论含有原子的自然模型和布尔值模型》等。
书友推荐
- >
朝闻道
朝闻道
¥9.0¥23.8 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥20.4¥49.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
姑妈的宝刀
姑妈的宝刀
¥11.4¥30.0 - >
唐代进士录
唐代进士录
¥17.1¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
有舍有得是人生
有舍有得是人生
¥19.4¥45.0
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判：黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8
