×
暂无评论
图文详情
  • 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年)并发表多篇数理逻辑高水平研究论文。

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航