经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《计算机科学概论》读书内容简介:家编写，全面而细致地介绍了计算机科学的各个方面。书中，计算系统的每个分层都以剖析，从住处层开始，历经硬件层、程序设计层、操作系统层、应用程序层的通信层，最后讨论了计算的限制。此外，正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息，有...详情

经典好书《像计算机科学家一样思考Python (第2版)》读书内容简介:理解Python语言编程。贯穿全书的主体是如何思考、设计、开发的方法，而具体的编程语言，只是提供了一个具体场景方便介绍的媒介。全书共21章，详细介绍Python语言编程的方方面面。本书从基本的编程概念开始讲起，包括语言的语法和语义，而且...详情

经典好书《计算机网络（原书第7版）》读书内容简介:顶向下方法来讲授计算机网络的原理及其协议，自第1版出版以来已经被数百所大学和学院选作教材，被译为14种语言。第7版保持了以前版本的特色，继续关注因特网和计算机网络的现代处理方式，注重原理和实践，为计算机网络教学提供一种新颖和与时俱进的方...详情

经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上，以及程序是如何执行的，读者能够更好的理解程序的行为为什么是这样的，以及效率低下是如何造成的。粗略来看，计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情

经典好书《因计算机而强大》读书内容简介:轻松自如地学习使用计算机；学习使用计算机能够改变他们学习其他知识的方式。 （前苹果公司总裁 约翰·斯卡利）最有可能带来文化变革的就是计算机的不断普及。计算机不仅是一个工具，它对我们的心智有着根本和深远的影响。...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《计算机组成（第6版）》读书内容简介:完全建立在“计算机是由层次结构组成的，每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新，以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层，并涵盖...详情

经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情

经典好书《计算机图形学导论》读书内容简介:——C语言描述》是经典的计算机图形学教材，本书是《计算机图形学原理及实践——C语言描述》一书的简写版。本书主要面向计算机图形学的初学者和没有相关技术背景的读者，主题包括基本图形学编程，硬件及应用，二维和三维图形学的重要算法，同时还包括大量的习题、示例...详情