《语言学中的数学方法》目录冯志伟译.PDF

《语言学中的数学方法》目录 冯志伟 译 A 篇 集合论 第一章 集合论的基本概念 1.1 集合的概念 1.2 集合的规范说明方法 1.3 集合论中的等同与基数 1.4 子集合 1.5 幂集 1.6 集合的并与集合的交 1.7 集合的差与集合的补 1.8 集合论中的几个等式 练习 第二章 关系和函数 2.1 有序对与卡氏积 2.2 关系 2.3 函数 2.4 函数的组合 练习 第三章 关系的性质 3.1 自反性，对称性，传递性和连通性 3.2 关系的图示 3.3 关系的逆与关系的补的性质 3.4 等价关系与划分 3.5 序 练习 第四章 无限性 4.1 等价集合与基数 4.2 集合的可枚举性 4.3 不可枚举集合 4.4 无限与无界 练习 附录A ：用集合论再构建数的系统 A.1 ：自然数 A.2 ：扩充到全部的整数集 A.3 ：扩充到全部的有理数集 A.4 ：扩充到全部的实数集 复习练习 B篇 逻辑和形式系统 第五章 逻辑和形式系统的基本概念 5.1 形式系统与模型 5.2 自然语言与形式语言 5.3 句法与语义 5.4 关于命题逻辑与谓词逻辑 第六章 命题逻辑 6.1 命题逻辑的句法 6.2 命题逻辑的语义：真值与真值表 6.2.1 否定 6.2.2 合取 6.2.3 析取 6.2.4 条件 6.2.5 双条件 6.3 重言命题，矛盾命题与相依命题 6.4 逻辑等价，逻辑结论与逻辑定律 6.5 命题逻辑中的自然演绎 6.5.1 条件证明 6.5.2 间接证明 6.6 命题逻辑中的贝思（Beth ）表 第七章 谓词逻辑 7.1 谓词逻辑的句法 7.2 谓词逻辑的语义 7.3 量词定律与前束范式 7.4 谓词逻辑中的自然演绎 7.5 谓词逻辑中的贝思（Beth ）表 7.6 形式证明与非形式证明 7.7 数学证明中的非形式风格 练习 第八章 形式系统，公理化与模型理论 8.1 形式系统的句法方面 8.1.1 递归定义 8.2 公理系统与推导 8.2.1 扩展公理系统 8.3 半图厄（semi-Thue ）系统 8.4 皮亚诺（Peano ）公理与归纳证明 8.5 形式系统的语义方面：模型理论 8.5.1 理论与模型 8.5.2 一致性，完备性与独立性 8.5.3 同构 8.5.4 一个基础的形式系统 8.5.6 关于顺序关系的公理 8.5.7 关于符号串毗连的公理 8.5.8 集合论的公理化