面向计算机科学的数理逻辑
正版 现货 实图拍摄.
¥
10
3.4折
¥
29
九品
仅1件
作者陆钟万 著
出版社科学出版社
出版时间2016-12
版次31
装帧平装
货号56
上书时间2024-10-25
商品详情
- 品相描述:九品
图书标准信息
-
作者
陆钟万 著
-
出版社
科学出版社
-
出版时间
2016-12
-
版次
31
-
ISBN
9787030096579
-
定价
29.00元
-
装帧
平装
-
开本
大32开
-
纸张
胶版纸
-
页数
284页
-
正文语种
简体中文
-
丛书
中国科学院研究生教学丛书
- 【内容简介】
-
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价