由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版蒯因著作集:第2卷9787300077871中国人民大学出版社
¥ ×1
逻辑方法(第四版)
引论
第Ⅰ部分 真值函项
1 否定、合取和析取
2 真值函项
3 条件句
4 归组
5 真值分析
6 一致和有效
7 蕴涵
8 语词转换为符号
9 等值
10 析取范式
11 简化
12 对偶
13 公理
第Ⅱ部分 一般词项和量词
14 直言陈述句
15 文恩图
16 三段论
17 这些方法的局限
18 布尔模式
19 有效的实验
20 布尔模式的一些附带问题
21 约束变元
22 量化式
移置规则 一元模式
24 前束和纯化
25 再论有效
26 代入
第Ⅲ部分 量化的一般理论
27 推广的模式
28 推广的代入
29 纯存在模式
30 主要方法
31 应用
32 完全
33 勒文海姆定理
34 判定和不可判定的
35 函项范式
36 艾尔伯朗的方法
37 明有效的方法
38 演绎
39 可靠
40 演绎的策略
第Ⅳ部分 进一步的问题概览
41 单独词项
42 同一
43 摹状词
44 单独词项的消去
45 变元的消去
46 类
47 数
48 公理集合论
习题部分参考
参考文献
索引
本体论的相对及
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格