发表于2024-11-24
数理逻辑基础(上册) 2024 pdf epub mobi 电子书
图书标签: 数理逻辑 逻辑学 数学 数理基础 (旧版) 胡世华 教材 计算理论
本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同基础.
结构很棒,上册逐渐构造各种自然推演系统,并完成对各系统的性质的分析和彼此的对比,最后截止于系统间的规约。在内容上逐渐递进由浅到深,习题也是渐进的由易到难,很有层次感,也利于自学。
评分好书啊,讲的很详细到位
评分好书啊,讲的很详细到位
评分非常详尽,好书好书。
评分好书啊,讲的很详细到位
数理逻辑基础(上册) 2024 pdf epub mobi 电子书