经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

经典好书《同意的计算》读书内容简介:詹姆斯·M·布坎南，乔治梅森（Geirge Mason）大学教授和公共选择研究中心咨询主任，1986年度诺贝尔经济学奖获得者。理查德·A·马斯格雷夫，哈佛大学H H 博班克讲座政治经济学荣誉退休教授和加州大学桑塔克鲁兹分校聘任经济学教授。<b...详情

经典好书《计算机程序设计艺术・卷3》读书内容简介:领域的权威之作，深入阐述了程序设计理论，对计算机领域的发展有着极为深远的影响。本书为该系列的第3卷，全面讲述了排序和查找算法。书中扩展了卷1中数据结构的处理方法，并对各种算法的效率进行了大量的分析。作者简介Donald E...详情

经典好书《计算机程序设计艺术（第2卷 英文版·第3版）》读书内容简介:月10日出生于美国明尼苏达州的米尔沃基，著名计算机科学家，算法与程序设计技术的先驱，斯坦福大学计算机系荣誉退休教授，计算机排版系统TEX和 METAFONT字体系统的发明人，最年轻的图灵奖得主。他在计算机科学及数学领域出版和发表了多部具有广泛影响的著...详情

经典好书《电机电磁场的分析与计算》读书内容简介:大学(原哈尔滨电工学院)教授，中国电工技术学会名誉理事。1953年毕业子东北工学院，1955年毕业于哈尔滨工业大学研究生班。1955，1962年在哈尔滨工业大学任讲师，1962-1978年任副教授，1979年在哈尔滨电工学院任教授至今。长期从事电机专...详情

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

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

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

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

经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容...详情