简介
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统p和一个经典谓词逻辑演算系统q，讨论了它们的元性质，最后还给出了一个与q等价的形式系统qs。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
目录
绪 论
第一节 逻辑与推理
第二节 逻辑 语言 数理逻辑
第三节 预备知识
第一章 命题逻辑
第一节 原子命题与复合命题
第二节 真值联结词与真值形式
第三节 命题逻辑对命题的符号化
第四节 真值函数
第五节 真值形式的类型及其判定方法 真值表方法
第六节 归谬赋值法
第七节 范式
第八节 真值树
第九节 自然推理
第二章 谓词逻辑
第一节 谓词 个体词 量词
第二节 谓词逻辑对命题的符号化
第三节 谓词逻辑的命题形式及其判定
第四节 量化自然推理
第五节 谓词逻辑中的范式
.第三章 命题演算
第一节 形式化的基本概念
第二节 命题演算p
第三节 p的元理论
第四章 谓词演算
第一节 谓词演算q
第二节 q的元理论
第三节 谓词演算的不同系统 谓词演算qs
第五章 一阶理论
第一节 一阶理论
第二节 不可判定性
参考文献
第一节 逻辑与推理
第二节 逻辑 语言 数理逻辑
第三节 预备知识
第一章 命题逻辑
第一节 原子命题与复合命题
第二节 真值联结词与真值形式
第三节 命题逻辑对命题的符号化
第四节 真值函数
第五节 真值形式的类型及其判定方法 真值表方法
第六节 归谬赋值法
第七节 范式
第八节 真值树
第九节 自然推理
第二章 谓词逻辑
第一节 谓词 个体词 量词
第二节 谓词逻辑对命题的符号化
第三节 谓词逻辑的命题形式及其判定
第四节 量化自然推理
第五节 谓词逻辑中的范式
.第三章 命题演算
第一节 形式化的基本概念
第二节 命题演算p
第三节 p的元理论
第四章 谓词演算
第一节 谓词演算q
第二节 q的元理论
第三节 谓词演算的不同系统 谓词演算qs
第五章 一阶理论
第一节 一阶理论
第二节 不可判定性
参考文献
一阶逻辑与一阶理论
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
