数理逻辑 在线电子书 图书标签: 数理逻辑  数学  逻辑学  逻辑  哲学  数理逻辑入门  教材  逻辑哲学   

喜欢 数理逻辑 在线电子书 的读者还喜欢

• 
  数理逻辑通俗讲话 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  集合论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哲学逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Set Theory 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理语言学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Introduction to Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数学哲学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

已经用这本教材教过两届学生。可以说是国内迄今最为严谨和详尽的关于数理逻辑的入门教材。随后会写个详细的评论。

20-02-14：数理逻辑的入门教材。数理逻辑是以数学的方式研究数学。

20-02-14：数理逻辑的入门教材。数理逻辑是以数学的方式研究数学。

邢滔滔重理论，扎实递进，但只能算入门；徐明重证明，证明详细，难免过于详实乃至基础理论无法阐述；这本可以算教材，理论与证明都是点到即止，内容涵盖一阶逻辑各个基本方面。从侧重点来看，各有千秋吧。

20-02-14：数理逻辑的入门教材。数理逻辑是以数学的方式研究数学。

对数理逻辑非常感兴趣，但看了不少书都很困惑的一点是，语法和语义交替出现，理解起来非常困难。而这本书不同，它基本上都是从语法角度入手的，这也是我为什么称它为最好的自学教材。语法相对语义要清晰的多，因为它仅仅讨论有穷符号串的性质，我们不需要太废脑子就能很容易的...

对数理逻辑非常感兴趣，但看了不少书都很困惑的一点是，语法和语义交替出现，理解起来非常困难。而这本书不同，它基本上都是从语法角度入手的，这也是我为什么称它为最好的自学教材。语法相对语义要清晰的多，因为它仅仅讨论有穷符号串的性质，我们不需要太废脑子就能很容易的...

这是一本教案，不是一本适合自学的书，而且作为教案，是很有参考价值的，但是如果按着书上这样就这样推进下去（而教师本身又不随时补给学生一点东西）的话会是教学的车祸现场。 先说一下优点。这本书的野心很大，除了覆盖传统教材的内容外，还要给出哥德尔第二定理的详细证明。...  

这是一本教案，不是一本适合自学的书，而且作为教案，是很有参考价值的，但是如果按着书上这样就这样推进下去（而教师本身又不随时补给学生一点东西）的话会是教学的车祸现场。 先说一下优点。这本书的野心很大，除了覆盖传统教材的内容外，还要给出哥德尔第二定理的详细证明。...  

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。 总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定...