文献类型:专著 浏览次数:2
  • 题名:实验逻辑学
  • 责任者:李娜编著
  • 出版社南开大学出版社
  • 出版年:2024.12
  • ISBN:978-7-310-06628-5
  • 定价:68.00
  • 载体形态项:309页 24cm
  • 个人责任者:李娜编著
  • 学科主题:实验逻辑
  • 中图法分类号:B81
  • 提要文摘附注:本教材将这些数理逻辑中有许多可操作的方法, 如真值表方法、形式推理等方法通过逻辑学习软件LPL (Language,ProofandLogic) 展现出来。学习者可以通过在计算机上操作 (或者实验) 逻辑学习软件LPL, 正确理解数理逻辑中的思想, 熟练掌握数理逻辑中的方法, 也可以配合本教材的慕课“实验逻辑学”进行学习。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码