暂无评论
图文详情
- ISBN：9787310066285
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 开本：其他
- 页数：312
- 出版时间：2024-12-01
- 条形码：9787310066285 ; 978-7-310-06628-5
内容简介
数理逻辑中有许多可操作的方法，如真值表方法、形式推理方法等。为配合数理逻辑的学习，本教材将这些方法通过逻辑学习软件LPL（Language,ProofandLogic）展现出来。学习者可以通过在计算机上操作（或者实验）逻辑学习软件LPL，正确理解数理逻辑中的思想，熟练掌握数理逻辑中的方法，也可以配合本教材的慕课“实验逻辑学”进行学习（网址：https:onlineweb.zhihuishu.com）。
本类五星书
本类畅销
-
1984-插图珍藏版
¥9.9¥29.8 -
阅读是一座随身携带的避难所
¥15.8¥39.0 -
树会记住很多事
¥9.9¥29.8 -
生死场
¥8.6¥36.0 -
东京梦华录
¥17.6¥46.0 -
见字如面
¥15.9¥49.8 -
读人生这本大书
¥8.8¥26.0 -
欢喜
¥16.1¥42.0 -
大宋宰相王安石
¥22.6¥55.0 -
我的哲学之师叔本华
¥13.5¥39.0 -
时空迷航:刘慈欣科幻作品集
¥7.3¥19.8 -
贼巢-美国金融史上最大内幕交易网的猖狂和覆灭
¥48.6¥139.9 -
长篇小说:红与黑
¥21.7¥69.0 -
我的心曾悲伤七次
¥7.8¥25.0 -
悉达多
¥18.4¥49.8 -
夏日走过山间
¥11.3¥30.0 -
妖怪书店
¥10.9¥39.8 -
人生非若春日蔷薇
¥12.5¥46.0 -
瓦尔登湖
¥11.1¥39.0 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥16.9¥49.8
