adam想读的书 >

• 

  计算理论导引

  9.1 (172人已评价)

  [美] Michael Sipser | 机械工业出版社 | 2006-7

  本书是计算理论领域的经典著作，被国外多所大学选用为教材。本书以注重思路、深入引导为特色，系统地介绍计算理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂性理论中...

  计算理论

  计算机科学

  计算机

  数学

  自动机

  我对《计算理论导引》的评价： 2017-06-10 我的标签： 修改
• 

  Essentials of Programming Languages, 3rd Edition

  9.0 (43人已评价)

  The MIT Press | 2008-04-30

  Thistextbookoffersadeepunderstandingoftheessentialconceptsofprogramminglanguages.Theapproachisanalyt...

  编程语言

  Programming

  计算机科学

  ProgramLanguages

  scheme

  我对《Essentials of Programming Languages, 3rd Edition》的评价： 2017-06-10 我的标签： 修改
• 

  How to Design Programs

  9.1 (123人已评价)

  The MIT Press | 2001-2-12

  Thisintroductiontoprogrammingplacescomputerscienceinthecoreofaliberalartseducation.Unlikeotherintrod...

  programming

  scheme

  编程

  lisp

  计算机

  我对《How to Design Programs》的评价： 2017-06-10 我的标签： 修改
• 

  逻辑的引擎

  8.4 (1046人已评价)

  [美] 马丁·戴维斯 | 湖南科学技术出版社 | 2005-5

  本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思...

  科普

  逻辑

  计算机

  数学

  计算机科学

  我对《逻辑的引擎》的评价： 2017-06-10 我的标签： 修改