发表于2024-12-28
数理逻辑基础(上册) 2024 pdf epub mobi 电子书
图书标签: 数理逻辑 逻辑学 数学 数理基础 (旧版) 胡世华 教材 计算理论
本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同基础.
据老师说,我们学的是最难的一本……但其实越抽象的东西理解了越能记住。
评分据老师说,我们学的是最难的一本……但其实越抽象的东西理解了越能记住。
评分好书啊,讲的很详细到位
评分好像终于找到我们研究生教材所抄的母本了……看完才发现这个再版的日期是2015年11月,所以说我考博那会儿也就只能看晦涩版的自编教材了。写得是真好,该解释的通通都有解释清楚。
评分结构很棒,上册逐渐构造各种自然推演系统,并完成对各系统的性质的分析和彼此的对比,最后截止于系统间的规约。在内容上逐渐递进由浅到深,习题也是渐进的由易到难,很有层次感,也利于自学。
数理逻辑基础(上册) 2024 pdf epub mobi 电子书