本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
具体描述
读后感
我认为，这是一本文科写出来的书，采用了标准的总分方式，在第一章囤积了太多的内容，直到通读全书后，才会再去醒悟说：啊，这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
评分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
用户评价
入门教材，如果能写一个标准答案，加上一些过程详细的例题就好了。（例题并没有涵盖所有的姿势点）
评分Glivenko定理，哥德尔翻译
评分配合徐明，可以说非常好的入门与巩固。此书比之徐明，胜在鞭辟入里，从最基础的展开，一层层递进，大局观很强。不过高屋建瓴，导论篇已需要一定的哲学功底和逻辑功底，刷一些徐明的题之后，食用风味更佳哦。不足处在于未设置中英文专有名词对照以及无习题解答并且确实只能算入门，很简单
评分入门教材，如果能写一个标准答案，加上一些过程详细的例题就好了。（例题并没有涵盖所有的姿势点）
评分随便翻了一遍，没纠缠细节。基本的东西都大致都讲到了。不过对于非逻辑学专业，尤其是欧陆方向并不基础也无甚卵用，没事不要随便作死。PS：滔滔逻辑老湿(Prof. Tautology)既然都敢全英文授课了，书里几百个专有名词弄个中英对照表吼不吼哇？以及火星文少一点吼不吼哇？
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有