数理逻辑实验教程

所属分类:数学  
出版时间:2010-10   出版时间:武汉大学   作者:李娜   页数:271  
Tag标签:逻辑学  

内容概要

  《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中,利用逻辑软件,更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。

书籍目录

第一部分 逻辑软件简介 第一章 在线逻辑软件简介  第一节 propositional
logic简介  第二节 predicate
logic简介  第三节 Tree
Proof
Generater简介 第二章 LPL
Software简介  第一节 Tarski’s
World
5.0的命令和操作方法
  第二节 Tarski’S
World
6.5的命令和操作方法  第三节
Boole
2.5的命令和操作方法  第四节 Fitch
2.5的命令和操作方法第二部分 命题逻辑 第三章 简单命题  第一节 简单命题  第二节 集论语言和算术语言  第三节 广义的一阶语言  第四节 证明方法  第五节 形式证明方法 
练习 第四章 复合命题(一) ……第三部分 量词逻辑参考文献

图书封面

图书标签Tags

逻辑学


    数理逻辑实验教程下载



用户评论 (总计20条)

 
 

  •     很强,给领导买的
  •     里面有很基础的逻辑入门学,本书以通俗易懂的方式讲解了思维逻辑的内容
  •     不知道锻炼后有什么不同但很有乐趣,适合文科生
  •     是一本发人深思的好书!,入门
  •     可以学到很多,我觉得还是深入浅出为好。
  •     但很好看,想买这类书的
  •     重新训练自己的逻辑能力,价廉物美
  •     请尽快补货。不知道翻译的如何,可以作为哲学入门书来读
  •     提高逻辑思维能力,看了这本书
  •     启迪心智的好书。值得所有人阅读。,还没看完
  •     需要慢慢细读,确认晚了。商品很好。
  •     能对自己以后的生活决策作出理性的选择。,太难了些
  •     送货快,发书的速度很快
  •     用你的心去思考。,好书一本
  •     小日本都出诺贝尔奖了,学习
  •     授课有用啊,刚看完
  •     真的具有力量,完全是经典教材
  •     适合给中学生看,专业用书
  •     不折腾的思想倡导者,比学校定的便宜很多。
  •     本来以为会和《逻辑的力量》一样让我大大的过瘾,练习思维逻辑
 

自然科学类PDF下载,数学PDF下载。 PPT下载网 

PPT下载网 @ 2017