可计算性与数理逻辑 书籍
经典好书《可计算性与数理逻辑》读书内容简介:修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成...详情
可计算性与数理逻辑 书籍
经典好书《可计算性与数理逻辑》读书内容简介:订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如歌德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为...详情
计算机与人脑 书籍
经典好书《计算机与人脑》读书内容简介:的过程进行了比较研究,具有高度的前瞻性,为机器人研究指明了方向。《计算机与人脑》形象生动,图文并茂,对广大青少年科技创新思维具有极大启发作用,该书被誉为20世纪的天才之作。作者简介作者约翰·冯·诺意曼(1903—1957)...详情
经典好书《计算机图形学几何工具算法详解》读书内容简介: 作者简介详情
经典好书《人机交互:以用户为中心的设计和评估》读书内容简介:”方法相关的背景知识及发展概况。其后,分3篇分别介绍了解用户、用户界在设计和可用性评估的内容及一些相关的研究专题。最后,第11章讨论了在组织中实施以用户为中心的设计的专题。本书主要面向的读者包括:软件或网站的设计人员。同时本书也可成为“现代人因工程学...详情
经典好书《计算机程序设计艺术·卷4A》读书内容简介:领域的权威之作,深入阐述了程序设计理论,对计算机领域的发展有着极为深远的影响。本书是该系列的第4卷A,书中主要介绍了组合算法,内容涉及布尔函数、按位操作技巧、元组和排列、组合和分区以及所有的树等。作者简介高德纳(Donal...详情
计算机组成和设计 书籍
经典好书《计算机组成和设计》读书内容简介:on教授和斯坦福大学计算机系Hennesssy教授是现今计算机设计领域非常受人尊敬的学者和开创者。John Hennessy精通硬件/软件,是具有传奇色彩的MIPS编译器和几代MIPS硬件产品的技术上的领导者。David Patterson是RISC...详情
计算机程序设计艺术 书籍
经典好书《计算机程序设计艺术》读书内容简介:算法与布尔函数概论(双语版)》是《计算机程序设计艺术,第4卷:组合算法》的第0册。《计算机程序设计艺术(第4卷·第0册):组合算法与布尔函数概论(双语版)》介绍了组合搜索历史和演化,涉及组合搜索技术的理论和实践应用,探究了布尔函数相关的所有重要问题,...详情
经典好书《计算机程序设计艺术(第1卷)》读书内容简介:程序设计概念和技术开始,然后专注于信息结构——计算机内部信息的表示、数据元素之间的结构关系以及如何有效地处理它们,给出了对于模拟、数值方法、符号计算、软件和系统设计的初等应用。书中附有大量习题和答案,标明了难易程序及数学概念的使用。此新...详情
经典好书《计算机程序设计艺术(第3卷 英文版·第2版)》读书内容简介:领域的权威之作,深入阐述了程序设计理论,对计算机领域的发展有着极为深远的影响。本书是该系列的第3卷,扩展了第1卷中信息结构的内容,主要讲排序和查找。书中对排序和查找算法进行了详细的介绍,并对各种算法的效率做了大量的分析。 本书适合从事计算机科学...详情