麵嚮計算機科學的數理邏輯 在線電子書 圖書標籤: 數理邏輯  計算機  數學  邏輯  計算機科學  麵嚮計算機科學的數理邏輯  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講視頻來看，講得極好，清楚明白，詳略得當。

國內唯一一本這樣的書籍，內容不夠充實。

我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看...  

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

我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看...  

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

我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看...