简明实验逻辑学

1星价 ¥25.3 (5.5折)

2星价￥25.3 定价￥46.0

作者：李娜

出版社：南开大学出版社

本类榜单：哲学/宗教

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

暂无评论

图文详情

ISBN：9787310064328
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：其他
页数：302
出版时间：2023-04-01
条形码：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年）并发表多篇数理逻辑高水平研究论文。

本类五星书

更多>>

浏览历史

简明实验逻辑学

李娜

¥25.3¥46.0

本类畅销

×

超值优惠券

简明实验逻辑学

内容简介

目录

作者简介

预估到手价 ×