简介
本书分:一阶语言的语法、一阶语言的语义、一阶推理系统、一阶理论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公理集合论
参考书目
术语索引
符号索引
一阶逻辑与一阶理论
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
