包邮数理逻辑实验教程

1星价 ¥24.1 (8.3折)

2星价￥24.1 定价￥29.0

作者：李娜

出版社：武汉大学出版社

本类榜单：自然科学

所属丛书：高等院校哲学专业核心课程教材

分类：自然科学 > 数学 > 概率论与数理统计

暂无评论

图文详情

ISBN：9787307079915
装帧：暂无
册数：暂无
重量：暂无
开本：16开
页数：271
出版时间：2010-10-01
条形码：9787307079915 ; 978-7-307-07991-5

本书特色

《数理逻辑实验教程》：高等院校哲学专业核心课程教材

**部分　逻辑软件简介
　**章　在线逻辑软件简介
　　**节　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的命令和操作方法
第二部分　命题逻辑
　第三章　简单命题
　　**节　简单命题
　　第二节　集论语言和算术语言
　　第三节　广义的一阶语言

展开全部