关于我们
书单推荐
新书推荐

逻辑学实验教程

逻辑学实验教程

定  价:29 元

        

  • 作者:李娜
  • 出版时间:2012/10/1
  • ISBN:9787310040452
  • 出 版 社:南开大学
  • 中图法分类:B81 
  • 页码:389
  • 纸张:
  • 版次:1
  • 开本:32开
9
7
0
8
4
7
0
3
4
1
5
0
2
《南开哲学教材系列:逻辑学实验教程》包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。作者在《数理逻辑实验教程》中,已经较详细地介绍了LPL软件的(操作)命令。本教材主要讲解LPL中三个软件Fitch、Boole和Tarski’sWorld的操作和应用。本教材在编写过程中,主要参考了Jon Barwise和John Etchemendy两人合著的《语言证明逻辑》(Language Proof Logie)一书,特别是“You try it”以及我编著的《数理逻辑实验教程》。
 你还可能感兴趣
 我要评论
您的姓名   验证码: 图片看不清?点击重新得到验证码
留言内容