数理逻辑实验教程

出版时间：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的命令和操作方法第二部分　命题逻辑　第三章　简单命题　　第一节　简单命题　　第二节　集论语言和算术语言　　第三节　广义的一阶语言　　第四节　证明方法　　第五节　形式证明方法　  练习　第四章　复合命题(一)　……第三部分　量词逻辑参考文献