自然语言语义学:形成与估值
9787111739456
¥
188.8
全新
库存5件
作者布兰登·S. 吉伦
出版社机械工业出版社
ISBN9787111739456
出版时间2023-08
装帧平装
页数481页
货号780078781499
上书时间2024-04-26
商品详情
- 品相描述:全新
- 商品描述
-
商品名称 自然语言语义学(形成与估值)/智能科学与技术丛书 作者 (加)布兰登·S.吉伦 责编 曲熠 译者 谢婉莹//谷舒豪 定价 149.00 ISBN号 9787111739456 出版社 机械工业出版社 版印次 1版 1次 开本 16开 装帧 平装 页数 481 出版时间 2024-01 印刷时间 2024-01 自然语言语义学是涉及语言学、逻辑学、计算机科学、心理学等诸多领域的一门学科。本书第1~6章和第8~10章主要介绍成分结构语法及相关知识,第7章和第11~15章主要介绍类型逻辑语法(Lambek类型语法),并讨论了这两种语法之间的异同。本书对自然语言语义学的介绍主要是基于英语的语法,作为导论性书籍,省略了许多更为复杂的逻辑形式。本书适合相关专业高年级本科生和研究生,以及该领域的从业人员阅读。 译者序 前言 希腊字母表 第1章 语言、语言学、语义学导论 ?1.1 20世纪以前的语言研究 ?1.2 语言学的诞生 ?1.2.1 语言学和心理学 ?1.2.2 语言学和逻辑学 ?1.3 结论 ?1.3.1 涵盖的主题及其相互关系 ?1.3.2 关于实证研究的几点看法 ?部分练习答案 第2章 基础集合论 ?2.1 介绍 ?2.2 集合及其成员 ?2.2.1 一些重要的集合 ?2.2.2 集合的大小 ?2.2.3 集合之间的关系 ?2.3 集合的运算 ?2.4 序列 ?2.4.1 有序对 ?2.4.2 笛卡儿积 ?2.5 集合族 ?2.5.1 幂集运算 ?2.5.2 集合族运算 ?2.6 关系 ?2.6.1 集合上的二元关系 ?2.6.2 集合到集合的二元关系 ?2.6.3 函数 ?部分练习答案 第3章 基础英语语法 ?3.1 介绍 ?3.2 传统英语语法 ?3.2.1 词类 ?3.2.2 从句 ?3.2.3 传统英语语法的局限性 ?3.3 英语句法 ?3.3.1 直接成分分析法 ?3.3.2 成分语法 ?3.3.3 论证和证据 ?3.3.4 问题 ?3.4 结论 ?部分练习答案 第4章 语言和语境 ?4.1 语境 ?4.2 背景和外指 ?4.2.1 人称 ?4.2.2 时间顺序 ?4.2.3 空间位置 ?4.2.4 深入细节 ?4.3 语境:内指与省略 ?4.3.1 内指 ?4.3.2 省略 ?4.4 语境和歧义 ?4.5 结论 ?部分练习答案 第5章 语言与认知:暗含与预设 ?5.1 语言、交流和认知 ?5.2 暗含 ?5.2.1 Grice准则 ?5.2.2 暗含的性质 ?5.2.3 暗含与歧义 ?5.3 预设 ?5.3.1 预设的触发因素 ?5.3.2 共同点 ?5.3.3 预设、蕴含和暗含 ?5.4 目的和理解 ?5.5 结论 ?部分练习答案 第6章 经典命题逻辑:符号与语义 ?6.1 论证 ?6.2 经典命题逻辑 ?6.2.1 符号 ?6.2.2 语义 ?部分练习答案 第7章 经典命题逻辑:演绎 ?7.1 演绎 ?7.2 公式自然演绎 ?7.2.1 列中的公式 ?7.2.2 树中的公式 ?7.3 序列自然演绎 ?7.3.1 列中的序列 ?7.3.2 树中的序列 ?7.4 Gentzen序列演算 ?7.4.1 ∧左引入和右引入 ?7.4.2 ←→左引入和右引入 ?7.4.3 →左引入和右引入 ?7.4.4 ∨左引入和右引入 ?7.4.5 ¬左引入和右引入 ?7.5 子结构逻辑 第8章 英语连接词 ?8.1 介绍 ?8.2 英语连接词和分句 ?8.3 真值和独立,陈述句 ?8.4 英语并列连词and ?8.4.1 英语并列连词and的明显问题 ?8.4.2 英语并列连词and的未解决问题 ?8.5 英语并列连词or ?8.5.1 英语并列连词or的明显问题 ?8.5.2 英语并列连词or的未解决问题 ?8.6 英语从属连词if ?8.6.1 英语从属连词if的明显问题 ?8.6.2 英语从属连词if的未解决问题 ?8.7 英语副词not ?8.7.1 not的语法 ?8.7.2 英语副词not的未解决问题 ?8.8 结论 ?部分练习答案 第9章 经典谓词逻辑 ?9.1 介绍 ?9.2 符号 ?9.2.1 CPDL公式 ?9.2.2 公式和子公式 ?9.3 语义 ?9.3.1 语义性质和关系 ?9.4 演绎 ?部分练习答案 第10章 英语中的语法谓语和*小子句 ?10.1 介绍 ?10.2 *小英语子句 ?10.2.1 动词短语:动词及其补语 ?10.2.2 形容词短语:形容词及其补语 ?10.2.3 介词 ?10.2.4 名词 ?10.3 英语词典的一种结构 ?10.3.1 类别更加丰富的成分语法 ?10.3.2 语义 ?10.3.3 成分估值规则定义 ?10.3.4 进一步扩展 ?10.3.5 未解决的问题 ?10.4 结论 第11章 经典量化逻辑 ?11.1 符号 ?11.2 CQL的经典估值方法 ?11.2.1 CQL估值的综合定义 ?11.2.2 CQL估值的分类定义 ?11.2.3 语义性质和关系 ?11.3 演绎 ?11.3.1 消除 ?11.3.2 引入 ?11.3.3 引入 ?11.3.4 消除 ?部分练习答案 第12章 经典量化逻辑的扩展 ?12.1 介绍 ?12.2 带有等价关系的经典量化逻辑 ?12.3 一元量化逻辑 ?12.3.1 一位一元量化逻辑 ?12.3.2 二位一元量化逻辑
— 没有更多了 —
以下为对购买帮助不大的评价