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

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

经典好书《伟大的计算原理/计算机科学丛书》读书内容简介:类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算...详情

经典好书《IEEE计算机先驱奖（1980-2014）：计算机科学与技术中的发明史（第三版）》读书内容简介:广播电视大学教授。本科毕业于清华大学计算机系，在北京理工大学计算机系取得硕士和博士学位。多年从事专家系统、数据挖掘、基于网络的个性化服务技术、远程教育等方面的研究，发表学术论文30余篇，出版教材多部。曾完成河南省自然学科基金项目两项，作为主要人员承担...详情

经典好书《计算机程序设计艺术 第2卷 半数值算法（第3版）（英文影印版）》读书内容简介: 计算机程序设计艺术：英文版（第2卷 半数值算法），ISBN：9787302058151，作者：（美）Donald E. Knuth著作者简介详情

经典好书《磁滞数学模型及考虑磁滞时磁场数值计算》读书内容简介: 《磁滞数学模型及考虑磁滞时磁场数值计算》对磁滞的数学模型及考虑磁滞时磁场数值计算方面的研究状况进行了综述，并介绍了一些典型的标量及矢量磁滞模型，对这些数学模型中涉及的一些概念进行了详细的讨论。作者简介详情

经典好书《现代数学手册·计算机数学卷》读书内容简介:？在编写过程中，出版社负责人和我们达成了一项共识，即手册应具科学性、先进性、实用性、规范性与简明性。200余位撰稿人与审稿人按照这些特点和要求会出了艰辛的劳动，我们要感谢他们的通力合作与努力，使手册基本上体现了上述所希冀的特点或特色。 ...详情

经典好书《数字设计和计算机体系结构（原书第2版）》读书内容简介:用一种独特的现代数字设计方法，先介绍数字逻辑门，接着讲述组合电路和时序电路的设计，并以这些基本的数字逻辑设计概念为基础，重点介绍如何设计实际的MIPS处理器。另外，在全书的实例中运用SystemVerilog和VHDL展示基于CAD的电路设计方法和技...详情

经典好书《数字设计和计算机体系结构》读书内容简介:介绍了从计算机组织和设计到更细节层次的内容，涵盖了数字逻辑设计的主要内容，展示了使用VHDL和Verilog这两种主要硬件描述语言设计MIPS处理器的技术细节，并通过MIPS微处理器的设计强化数字逻辑的概念。《数字设计和计算机体系结构》的典型特色是将...详情

经典好书《数字设计和计算机体系结构》读书内容简介:，从计算机组成和设计向下至更精细的层次，详细展示了如何用Verilog和VHDL构建MIPS微处理器。本书为学生提供了一个很好的机会，使他们可以在现代FPGA上进行大型的数字设计，既能增长学生的专业知识，又能启发学生运用所学知识去解决实际问题。书中通...详情