经典好书《计算机系统设计原理》读书内容简介:设计的权威专家、美国麻省理工学院Saltzer和Kaashoek教授编写。《计算机系统设计原理(影印版)》是第一本阐述计算机系统设计中的基本原理和抽象的教材，是麻省理工开放式课程计划(MIT Open Courseware)中“计算机系统工程”课程的...详情

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

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

经典好书《真理的话语理论基础》读书内容简介:达米特、布兰顿和哈贝马斯的真理论。这三位哲学家在真理论上客观存在的关联是重要的，这种关联也许正是他们各自的真理论的独特性的一种最好的体现。达米特、布兰顿和哈贝马斯的真理论代表了后期维特根斯坦哲学之后的真理论的一种特殊状况。在放弃了分析哲学传统的真理论...详情

经典好书《统计自然语言处理基础》读书内容简介:列》是一本全面系统地介绍统计自然语言处理技术的专著，被国内外许多所著名大学选为计算语言学相关课程的教材。《统计自然语言处理基础：国外计算机科学教材系列》涵盖的内容十分广泛，分为四个部分，共16章，包括了构建自然语言处理软件工具将用到的几乎所有理论和算...详情

经典好书《计算机科学概论》读书内容简介:课程的一本经典教材，是作者多年教学经验的结晶，是国际上众多名校的指定教材。本书涉及计算机科学的方方面面，介绍了计算机硬件、软件、数据组织和计算理论等四个方面的内容，包括编码及计算机体系结构的基本原理、操作系统、计算机网络、算法、程序设计语言、数据结构...详情

经典好书《并行计算导论》读书内容简介: 作者简介详情

经典好书《计算机科学概论（第12版）》读书内容简介:教材，全书对计算机科学做了百科全书式的精彩阐述，充分展现了计算机科学的历史背景、发展历程和新的技术趋势。《计算机科学概论》首先介绍的是信息编码及计算机体系结构的基本原理，进而讲述操作系统和组网及因特网，接着探讨算法、程序设计语言及软件工程，然后讨论数...详情

经典好书《计算机系统概论》读书内容简介:的经典基础教材。全书以自底向上方法帮助学生理解计算机系统的原理，前半部分阐述了计算机底层结构，后半部分讲解了高级语言编程及编程方法学，主要内容包括数据类型及其运算、数字逻辑、冯·诺伊曼模型、汇编语言、输入和输出、TRAP程序和子程序、C语言编程等内容...详情

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