扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
简明实验逻辑学 版权信息
- ISBN：9787310064328
- 条形码：9787310064328 ; 978-7-310-06432-8
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
简明实验逻辑学 内容简介
本教材属“南开哲学教材系列”，是作者所负责课程“数理逻辑实验教程”（后改名为“实验逻辑学”）相关配套教材。全书共16章，具体包括以下内容：第1章Tarski’sWorld7.2简介；第2章Fitch3.7简介；第3章?Boole4.2简介；第4章原子语句；第5章原子语句的逻辑；第6章布尔联结词；第7章?布尔联结词逻辑；第8章?布尔逻辑的证明规则；第9章?布尔逻辑的证明方法；第10章?蕴涵；第11章?蕴涵的逻辑；第12章?量词；第13章?量词的逻辑；第14章?多重量词；第15章?量词的证明方法；第16章?量词的证明规则及附录“一些有意义的证明”。
简明实验逻辑学 目录
第1章Tarski'sWorld7.2简介
1.1入门指南
1.2世界控制板
1.3语句控制板
1.4验证语法和真
1.5玩游戏
1.6参数
第2章Fitch3.7简介
2.1入门指南
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5导出文本
2.6建立练习
2.7参数设置
第3章Boole4.2简介
3.1入门指南
3.2编写真值表
3.3指定评价
3.4验证你的表
3.5保存或导出你的文本
3.6参数
……
展开全部
简明实验逻辑学 作者简介
李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目，主编多部教材如《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年），《实验逻辑学》（南开大学出版社，2017年），《实验逻辑学》（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水平研究论文。
书友推荐
- >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
朝闻道
朝闻道
¥10.7¥23.8 - >
烟与镜
烟与镜
¥18.2¥48.0 - >
我与地坛
我与地坛
¥16.8¥28.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
推拿
推拿
¥12.2¥32.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判：黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8
