由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书数理逻辑基础(上册)9787030464217
¥ ×1
序
使用说明
绪论
§00 数理逻辑
§01 逻辑演算(一)
§02 逻辑演算(二)
§03 集的基本概念
§04 数学归纳法
章 演绎逻辑的基本规则
§10 命题逻辑P的形成规则
§11 P的形式推理规则
§12 命题逻辑P*
§13 P和P*的关系
§14 命题常元、谢孚竖
§15 谓词逻辑F和F*的形成规则
§16 F和F*的形式推理规则
§17 函数词、等词
§18 摹状词
§19 偏函数
第二章逻辑演算的系统特征
§20 等值公式的可替换
§21 逻辑词的可定义
§22 命题连接词的完全和独立
§ 代人定理
§24 合取范式和析取范式
§25 前束范式和斯柯伦范式
§26 根岑系统和对偶
§27 无嵌套范式
§28 逻辑演算的归约
符号汇编(上册)
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
