注册 登录 进入教材巡展
#

出版时间:2023-05

最新印次日期:2023-9

出版社:南开大学出版社

以下为《简明实验逻辑学》的配套数字资源,这些资源在您购买图书后将免费附送给您:
  • 南开大学出版社
  • 9787310064328
  • 1-2
  • 469881
  • 42268929-9
  • 异16开
  • 2023-05
  • 312
  • 哲学
  • 哲学类
  • 逻辑学、伦理学
  • 研究生及以上
内容简介
本教材属“南开哲学教材系列”,是作者所负责课程“数理逻辑实验教程”(后改名为“实验逻辑学”)相关配套教材。全书共16章,具体包括以下内容:第1章Tarski’sWorld7.2简介;第2章Fitch3.7简介;第3章 Boole4.2简介;第4章原子语句;第5章原子语句的逻辑;第6章布尔联结词;第7章 布尔联结词逻辑;第8章 布尔逻辑的证明规则;第9章 布尔逻辑的证明方法;第10章 蕴涵;第11章 蕴涵的逻辑;第12章 量词;第13章 量词的逻辑;第14章 多重量词;第15章 量词的证明方法;第16章 量词的证明规则及附录“一些有意义的证明”。