实验逻辑学（第二版） - 中国高校教材图书网

中国大学出版社协会 | 首页 | 宏观指导 | 出版社天地 | 图书代办站 | 教材图书信息 | 教材图书评论 | 在线订购 | 教材征订

搜索新闻图书 ISBN 作者音像出版社代办站教材征订

购书请登录免费注册客服电话:010-62510665 62510769

购书指南购物车我的订单征订单存书架小团购二手书优惠活动关于我们

图书查询索引 版别索引分类索引中图法分类专业分类用途分类制品类型读者对象自分类最新畅销推荐特价教材征订

准确查询综合查询

实验逻辑学（第二版） - 中国高校教材图书网

	书名：	实验逻辑学（第二版）
	ISBN：	9787310060146	责任编辑：
	作者：	李娜相关图书	装订：	0
	印次：	1-1	开本：	16开
	定价：	￥58.00　折扣价：￥55.10 折扣：0.95 节省了2.9元	字数：
	出版社：	南开大学出版社	页数：
	出版日期：	2021-01-22	每包册数：
	国家规划教材：		省部级规划教材：
	入选重点出版项目：		获奖信息：
    

小团购订购咨询推荐打印放入存书架

内容简介：
本书是一部为高等院校实验逻辑学教学而编写的通用教材，是在该书第一版的基础上修订而成。全书共分为两编十六章：第一编“LPL(语言、证明和逻辑)软件介绍”分三章，主要介绍了本书所用到的软件--“塔斯基世界”,?第二编“实验逻辑学”包括四至十六章，分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
作者简介：

章节目录：

精彩片段：

书　　评：

其　　它：
相关评论发表评论

| 我的帐户 | 我的订单 | 购书指南| 关于我们 | 联系我们 | 敬告 | 友情链接 | 广告服务 |

版权所有 © 2000-2002 中国高校教材图书网京ICP备10054422号-7 京公网安备110108002480号出版物经营许可证：新出发京批字第版0234号
经营许可证编号：京ICP证130369号技术支持：云章科技