实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
数理逻辑导引 冯琦 编著 著 文教 文轩网
¥ ×1
商品
服务
物流
https://product.suning.com/0070067633/11555288247.html
数理逻辑导引
无
《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的接近性和可定义性分析;哥德尔不接近性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不接近性定理。
《现代数学基础丛书》序 序言 第0章引言1 第1章命题逻辑10 1.1基本问题10 1.2命题表达式12 1.3逻辑赋值与可满足性14 1.4布尔函数可表示性16 1.5可证明性与一致性19 1.6形式证明的几组例子22 1.7完备性28 1.8第一完备性证明30 1.9命题逻辑紧致性34 1.10命题范式35 1.11命题逻辑与布尔代数38 1.12练习40 第2章一阶语言和一阶结构43 2.1一组经典例子43 2.2一阶语言44 2.2.1符号44 2.2.2项45 2.2.3表达式47 2.2.4自由变元和受囿变元50
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员