《数理逻辑(修订版)(大学计算机教育国外著名教材、教参系列(影印版))》A.G.Hamilton - 买旧书上有路

网站购物车0本店铺购物车0本

数理逻辑(修订版)(大学计算机教育国外著名教材、教参系列(影印版))

收藏到有路

推荐给好友

QQ咨询：

有路璐璐：

数理逻辑(修订版)(大学计算机教育国外著名教材、教参系列(影印版))

作者：A.G.Hamilton

出版社：清华大学出版社

ISBN：9787302068105

出版日期：2003年08月01日

页数：0

定价：¥26.00

猜你也喜欢

分享领佣金

入驻店铺
新书比价
图书详情
宝贝评价

手机购买

城市

店铺名称

店主联系方式

店铺售价

库存

店铺得分/总交易量

发布时间

操作

新书比价

网站名称

书名

售价

优惠

操作

图书详情

出版社

清华大学出版社
ISBN

9787302068105
作者

A.G.Hamilton
页数

0
出版时间

2003年08月01日
定价

¥26.00
所属分类

内容提要

"数理逻辑"是一门基础性学科，选一本好的"数理逻辑"的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家**，我们选了剑桥大学出版社的，由A．G．Hamilton著"Logic for Mathematicians"一书影印出版，希望本书的影印版能为国内高校"数理逻辑"课程的开设提供支持。
本书系统地讲解了数理逻辑的基础部分一一命题演算与谓词演算。**章直观地讲?饬嗣饴呒舅枷牒透拍睿诙陆步饷饴呒男问交低常坏谌轮惫鄣亟步饬宋酱事呒谒恼陆步馕酱事呒男问交低常谖逭陆樯苁低常坏诹乱院苄〉钠

目录

Preface
1 Informal statement calculus
1.1 Statements and connectives
1.2 Truth functions and truth tables
1.3 Rules for manipulation and substitution
1.4 Normal forms
1.5 Adequate sets of connectives
1.6 Arguments and validity
2 Formal statement calculus 更多

内容提要
目录

与描述相符

100

消费者保障

新手上路

付款方式

个人账户

关于有路 ┆ 乘车路线 ┆ 有路联盟 ┆ 网站地图 ┆ 帮助中心 ┆ 客服中心 ┆ 友情链接 ┆ 触屏版

咨询QQ:

有路网-书山有路网上二手书店是国内专业的二手书旧书在线销售网站，提供优质低廉的正版旧书、旧教材。
提供支付宝、财付通、网上银行、银行汇款等支付方式；提供平邮、快递、EMS、自取等多种送货方式。
付款后24小时内发货，自动跟踪物流。所有图书全场一角起价，不满意无理由退货。