符号逻辑讲义的书评 (2)

李高尚 2012-03-20 19:45:27

详实的数理逻辑讲义

非常详细的一本书,也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中,才了解了推演的基本方法,并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...  (展开)
南北不通 2013-09-13 11:34:05

真实好书!

和学生组建了一个读书小组来读这一本书,用了快两个月的时间了读到了第九章,作了前面大部分的题目,当然还有一些不会,不过所幸也不急,等把第一遍仔细读完,再反反复复的读上几遍,想来那些遗留的问题也不是问题了吧。 个人感觉难得的好书,非常的贴心,很多章节都能读出一种...  (展开)

订阅符号逻辑讲义的书评