欢迎来到相识电子书!
内容简介
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑,其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑,后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q,讨论了它们的元性质,最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识,主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
下载说明
1、数理逻辑基础是作者陈慕泽,余俊伟创作的原创作品,下载链接均为网友上传的网盘链接!
2、相识电子书提供优质免费的txt、pdf等下载链接,所有电子书均为完整版!
下载链接
热门推荐
- 1 独腿旅行者
- 2 人间正道
- 3 野兽必死
- 4 森林中有许多酒
- 5 鲁迅传
- 6 动物园长夫人
- 7 不再努力成为另一个人
- 8 热爱生活的一万个理由
- 9 专家的窘境
- 10 艺术的旅程