数理逻辑 - [美]Herbert B.Enderton

数理逻辑

[美]Herbert B.Enderton

出版时间

2007-02-28

ISBN

9787115143112

评分

★★★★★

标签

文学

书籍介绍

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

目录
第0章 集合基础
第1章 命题逻辑
1.0 闲话形式语言
1.1 命题逻辑的语言
1.2 真值指派

显示全部
用户评论
r2q35v
@2017-08-31 20:52:33
读懵
太抽象了!
用英文教材的时候对照翻过,部分名词未采用国内常见译名,印刷错误不少。
收获非常多!带着问题并且头脑风暴的阅读,便可以发现书中的数学家构造的精巧。 参考阅读顺序: 徐明《符号逻辑讲义》→冯琦《数理逻辑导引》→本书,可以同时阅读冯琦老师《集合论导引》作为补充.
比较难懂哦 没事多翻翻也挺有收益的
下载
收藏