注册 登录 进入教材巡展
#

出版时间:2024-09

最新印次日期:2024-9

出版社:南开大学出版社

以下为《实验逻辑学(第三版)》的配套数字资源,这些资源在您购买图书后将免费附送给您:
  • 南开大学出版社
  • 9787310066285
  • 3-1
  • 558443
  • 65265315-5
  • 16开
  • 2024-09
  • 哲学
  • 哲学类
  • 哲学类
  • 研究生及以上
内容简介
数理逻辑中有许多可操作的方法,如真值表方法、形式推理方法等。为配合数理逻辑的学习,本教材将这些方法通过逻辑学习软件LPL(Language,ProofandLogic)展现出来。学习者可以通过在计算机上操作(或者实验)逻辑学习软件LPL,正确理解数理逻辑中的思想,熟练掌握数理逻辑中的方法,也可以配合本教材的慕课“实验逻辑学”进行学习(网址:https:onlineweb.zhihuishu.com)。