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