内容简介 · · · · · ·
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
数理逻辑基础的创作者
· · · · · ·
-
余俊伟 作者
喜欢读"数理逻辑基础"的人也喜欢 · · · · · ·
数理逻辑基础的书评 · · · · · · ( 全部 0 条 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (水井八)
- 逻辑哲学 (易敏)
- 书单｜逻辑学 (aaronedicon)
- 我的乾坤 (在一切终结之前)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑基础的评论:
feed: rss 2.0
0 有用 火龙狗子 2022-12-08 21:06:53 江苏
讲得超级清楚
0 有用 叶瑾. 2024-02-02 16:22:20 湖北
不错的教材
0 有用 砯 2022-02-17 01:40:44
这个分怎么这么低？对一阶完全性的证明很清晰吧。。。
0 有用 Biomass 2010-02-16 11:40:34
一阶理论那部分没看，不过除了一些恼人的小错误以外，这本书总的来看不错
0 有用 乌冬球 2011-06-28 18:04:54
佛荣哥 我对不起你