澳门新葡8455最新网站1994.01. 内容提要=此项研究成果受国家社会科学基金资助:本书 分:一阶语言的语法、一阶语

当前位置:澳门新葡8455最新网站 > 澳门新葡8455最新网站 > 澳门新葡8455最新网站1994.01. 内容提要=此项研究成果受国家社会科学基金资助:本书 分:一阶语言的语法、一阶语
作者: 澳门新葡8455最新网站|来源: http://www.xiaoyaozhuan.com|栏目:澳门新葡8455最新网站

文章关键词:澳门新葡8455最新网站,一阶理论

  1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。

  [General Information] 书名=一阶逻辑与一阶理论 作者=叶峰编著 丛书名=现代逻辑丛书 页数=223 SS号 出版日期=1994.01 出版社=北京:中国社会科学出版社 ISBN号=7-5004-1307-6 中图法分类号=O141 原书定价=$10 主题词=数理逻辑,一阶逻辑 参考文献格式=叶峰编著.一阶逻辑与一阶理论.北京: 中国社会科学出版社,1994.01. 内容提要=此项研究成果受国家社会科学基金资助:本书 分:一阶语言的语法、澳门新葡8455最新网站一阶语言的语义、一阶推理系统、澳门新葡8455最新网站 一阶理论4章。 书名 版权 前言 目录 目录 绪论 §1 什么是一阶逻辑 §2 预备知识与记号的说明 第一章 一阶语言的语法 §1 符号表 §2 项 §3 公式 §4 归纳法 §5 语法歧义性 §6 归纳定义子项子公式 §7 定义公式 §8 自由变元约束变元 §9 代入 第二章 一阶语言的语义 §1 结构与解释 §2 满足关系 §3 合同引理代入引理 §4 语义后承 §5 有效性与可满足性 §6 一些重要的有效式 §7 等值替换易字范式 第三章 一阶推理系统 §1 一阶推演 §2 演绎定理 §3 重言式定理 §4 有关量词及等词的推演规则 §5 一致性 §6 完备性定理 §7 Herbrand定理 第四章 一阶理论 §1 定义及例子 §2 初等类初等等价 §3 L?wenheim—Skolem定理 §4 同构 §5 范畴性与完备性 §6 定义扩张 §7 相对化解释 §8 一阶算术 §9 公理集合论 参考书目 术语索引 符号索引

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!