当前位置： 逻辑、语言和认知 > 购买云解压PDF图书
- 作 者：（荷）约翰·范本特姆著
- 出 版 社：北京：科学出版社
- 出版年份：2009
- ISBN：9787030254306
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
13
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
引论 1
第1部分 自然语言和形式语言中的量词 10
1量词问题 10
2语义自动机 37
3多元量词 60
4类型世界中的量词 85
第2部分 范畴语法与证明论 102
5范畴语法和λ-演算 102
6兰贝克演算 122
7语义类型变换和语法识别 149
8范畴语法和类型论 165
9处于十字路口的范畴语法 206
10自然语言的范畴微细结构 225
第3部分 计算与认知 253
11走向一种计算语义学 253
12意义：解释与推理 286
13自然逻辑简史 302
14自然语言和计算中的语义平行问题 320
15作为会话的计算 365
16“彰显价值的博弈”：逻辑、语言与多主体互动 391
17相互作用下的认知 402
附录 416
附录一 英-汉专业术语对照表 416
附录二 英-汉人名对照表 425