图书标签: 数理逻辑 逻辑学 数学 逻辑 哲学 教材 符号学 语义
发表于2024-11-25
数理逻辑 pdf epub mobi txt 电子书 下载 2024
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
邢滔滔,北京大学哲学系副教授
真的好难啊,从第二章开始就搞不懂了。
评分我无法理解这本教材为什么会那么有信心在前言里声称“这是一本入门教材……不要求读者有数学方面的预备知识”
评分算是浅显易懂。。。
评分配合徐明,可以说非常好的入门与巩固。此书比之徐明,胜在鞭辟入里,从最基础的展开,一层层递进,大局观很强。不过高屋建瓴,导论篇已需要一定的哲学功底和逻辑功底,刷一些徐明的题之后,食用风味更佳哦。不足处在于未设置中英文专有名词对照以及无习题解答并且确实只能算入门,很简单
评分北大的书就是看起来蛋疼啊- -仔细琢磨倒是有文人的风范,但是确实需要挖掘好长时间。
我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
评分我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
评分我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
数理逻辑 pdf epub mobi txt 电子书 下载 2024