[放大封面]   [放大封底]
 
 
【相关下载】
【二手书】
本产品共有 0 册二手书出售，
最低价：￥.00 [查看]
 
 推荐图书
建筑装饰制图与识图习题集
作者:李燕
电气控制与工程实习指南
作者:丁学文
电子测量实训教程(第3版)
作者:肖晓萍
大学教育哲学
作者:刘智运 著
课程设计·毕业设计指南
作者:陈超
公差配合与测量技术（第2...
作者:黄云清　主编
 
 用户购买本书还购买了
· 离散数学.理论·分析·题解
· 离散数学
· 心脑计算举要
· 复杂系统建模理论与方法
· 单片无线数据通信IC原理与应用
· 大系统控制论
· 传感器原理与应用
· 传感器基础
· Windows环境下的设备驱动程序设...
· Windows 2000/XP WDM设备驱动程...
 
 金书共建·What's this? 
[分类共建]    ·所有未分类图书查看
本书当前分类：
高等教育 > 研究生教材
我觉得本书应分到此类中：
[金书WIKI]
[ 编辑 ]当前页面使本书内容更加完善
[资源共建]
·提交本书书摘 ·提交本书相关资源

面向计算机科学的数理逻辑(中国科学院研究生教学丛书)(第二版)
您想读这本书吗？
作者： 陆钟万 出版社： 科学出版社
译者：   丛书名：
出版日期：2005-1-1 上架日期：2005-11-7 16:57:00
ISBN：7030096576 页数：      版次：第2版
开本：32开 装帧：平装
市场价：￥19.00

贵宾会员价：￥14.25
高级会员价：￥14.82
普通会员价：￥15.20
金书豆豆(What's this?)
种一个豆豆，书价我来定！
我要种一个豆豆
【您的购物车】
购买册数：     
货到付款：北京、上海、天津、广州、深圳、湖北、河南、山西、陕西、山东、四川、重庆、浙江 更多查看>>

[暂时缺货，正在进货 您可以在此处进行缺货登记,到货后我们会及时通知您！]
| 大封面 | 封底 | 前言 | 内容简介 | 序言 | 目录 | 作者简介 | 译者简介 | 作者序 | 译者序 |
【读者评论】

内容简介
 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。
本书读者对象:高校计算机专业师生，科研人员。

目录
伸缩显示:尺寸伸长 尺寸缩减 [弹出查看]

伸缩显示:尺寸伸长 尺寸缩减 [弹出查看]
编辑荐语

[您可以向编辑推荐本书的亮点，采纳后奖励５－１０元优惠卷]（一个工作日内处理您的建议）

读者评论 w 查看本书所有书评 

[发表您的书评，编辑将根据书评质量，予以相应的奖励]

(共0条)


百度搜索本站: