由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书语言的逻辑句法9787100208734
¥ ×1
英文版前言
序言
导论
1.什么是逻辑句法
2.作为演算的语言
部 确定的语言I
A.语言I的形成规则
3.谓词与函子
4.句法的哥特符号
5.联结符号
6.全称句和存在句
7.K-算子
8.定义
9.句子与数字表达式
B.语言I的变形规则
10.对变形规则的一般评论
11.语言I的初始句
12.语言I的推理规则
13.语言I中的推导和明
14.语言I的后承规则
C.论语言的确定形式
15.确定的与不确定的
16.论直觉主义
16a.同一
17.句法中的宽容原则
第二部分 语言I句法的形式构造
18.语言I的句法能够在语言I中得到系统的表述
19.句的算化
20.一般术语
21.形成规则:(1)数字表达式和句子
22.形成规则:(2)定义
.变形规则
24.描述句法
25.算术的、公理的和物理的句法
第三部分 不确定的语言II
第四部分 一般句法
第五部分 哲学与句法
参考文献和人名索引
索引
卡尔纳普:经验主义和逻辑实主义代表人物,维也纳学派的之一。主要著作:《语言的逻辑句法》、《世界的逻辑构造》、《意义和必然》、《逻辑的形式化》等。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格