面向计算机科学的数理逻辑 在线电子书 图书标签: 数理逻辑  计算机  数学  逻辑  计算机科学  面向计算机科学的数理逻辑  Logic  教材   

喜欢 面向计算机科学的数理逻辑 在线电子书 的读者还喜欢

• 
  自动机理论、语言和计算导论（原书第2版） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  From Mathematics to Generic Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Concepts in Programming Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Lambda-Calculus and Combinators 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Reasoned Schemer 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  并行计算机体系结构 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  形式语言与自动机理论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  计算理论基础 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Real World OCaml 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

难得一逼，危险了

一定要配合老爷子那29讲视频来看，讲得极好，清楚明白，详略得当。

用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的

很是一般

已有

语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732

语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732

言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉普通离散数学教程中的数理逻辑部分读起来简直就不需要废一点脑筋...  

这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些大学本科离散数学的命题逻辑和一阶逻辑的底子，这本书用的符...  

言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉普通离散数学教程中的数理逻辑部分读起来简直就不需要废一点脑筋...