☆☆☆☆☆
简体网页||繁体网页

面向计算机科学的数理逻辑 2025 pdf epub mobi 电子书 著者简介

---

面向计算机科学的数理逻辑 电子书 图书目录

---

点击这里下载

---

---

---

发表于2025-01-31

面向计算机科学的数理逻辑 2025 pdf epub mobi 电子书

面向计算机科学的数理逻辑 2025 pdf epub mobi 电子书

面向计算机科学的数理逻辑 2025 pdf epub mobi 电子书

---

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

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

类似图书 点击查看全场最低价

出版者:科学出版社

作者:陆钟万

出品人:

页数:263

译者:

出版时间:2002-1

价格:24.00元

装帧:

isbn号码:9787030096579

丛书系列:

面向计算机科学的数理逻辑 2025 pdf epub mobi 电子书

评分☆☆☆☆☆

这个教材也许有所谓的理论高度，但是与实际完全脱节，根本不适合做教材。初学者容易被其单调的排版读成盲视。建议看邢滔滔的教材。

评分☆☆☆☆☆

能更难懂一点么。。我阅读障碍。。

评分☆☆☆☆☆

已有

评分☆☆☆☆☆

很多年过去了，这仍然是我读到过的，关于数理逻辑，最干净、最简洁以及最清晰明了的参考书。

评分☆☆☆☆☆

这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂，通过这本书才看懂的。

查看全网最低价