账号: 密码:
中国大学出版社协会 | 首页 | 宏观指导 | 出版社天地 | 图书代办站 | 教材图书信息 | 教材图书评论 | 在线订购 | 教材征订
搜索 新闻 图书 ISBN 作者 音像 出版社 代办站 教材征订
购书 请登录 免费注册 客服电话:010-62510665 62510769
图书查询索引 版别索引 分类索引 中图法分类 专业分类 用途分类 制品类型 读者对象 自分类 最新 畅销 推荐 特价 教材征订
综合查询
北京大学计算机科学与技术系教材 数理逻辑——离散数学第一分册 - 中国高校教材图书网
书名: 北京大学计算机科学与技术系教材 数理逻辑——离散数学第一分册
ISBN:7-301-03490-3 条码:
作者: 王捍贫 编著  相关图书 装订:
印次:第一版 开本:
定价: ¥15.00  折扣价:¥14.25
折扣:0.95 节省了0.75元
字数:
出版社: 北京大学出版社 页数:
发行编号: 每包册数:
出版日期: 1997-12-01
小团购 订购 咨询 推荐 打印 放入存书架

内容简介:
本书为北京大学计算机科学与技术系教学用书系列之离散数学第一分册——数理逻辑部分。北京大学计算机系教学用书系列由在教学第一线任课的教师编写,体系严谨,内容丰富,并配有大量习题。本册主要内容有:命题演算、一阶谓词演算、Herbrand定理和直觉主义逻辑。

作者简介:
 
章节目录:
 
精彩片段:
 
书  评:
 
其  它:
 



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

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