简明实验逻辑学

作者: 李娜编著

出版社: 南开大学出版社

出版日期: 2023-04-01

  • 优惠券
  • ¥3
    ¥10
    ¥30
    ¥70
  • 领券
电子书 ¥32.2 定价:46.0
  • 收藏

  • 加书架

  • 引用

简介

本教材属“南开哲学教材系列”,是作者所负责课程“数理逻辑实验教程”(后改名为“实验逻辑学”)相关配套教材。全书共16章,具体包括以下内容:第1章 Tarski’s World 7.2简介;第2章 Fitch 3.7简介;第3章 Boole 4.2简介;第4章 原子语句;第5章 原子语句的逻辑;第6章 布尔联结词;第7章 布尔联结词逻辑;第8章 布尔逻辑的证明规则;第9章 布尔逻辑的证明方法;第10章 蕴涵;第11章 蕴涵的逻辑;第12章 量词;第13章 量词的逻辑;第14章 多重量词;第15章 量词的证明方法;第16章 量词的证明规则及附录“一些有意义的证明”。本书可作为大学逻辑学专业高年级本科生、研究生的逻辑推理课程的教材,也可作为高校相关专业教师的参考书。

更多出版物信息
  • 版权: 南开大学出版社
  • 出版: 2023-04-01
  • 作者:李娜编著
  • 更新: 2024-10-12
  • 书号:9787310064328
  • 中图:B81-06
  • 学科:
    哲学
    哲学