经典好书《计算机算法设计与分析》读书内容简介: 计算机算法设计与分析，ISBN：9787505363915，作者：王晓东编著作者简介详情

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

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

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

经典好书《计算机程序设计艺术・卷2》读书内容简介:领域的杰出之作，深入阐述了程序设计理论，对计算机领域的发展有着极为深远的影响。本卷为系列的第2卷，全面讲解了半数值算法，分“随机数”和“算术”两章。书中总结了主要算法范例及这些算法的基本理论，广泛剖析了计算机程序设计与数值分析间的相互联系。<...详情

经典好书《计算机程序设计艺术：第4卷 第4册（双语版）》读书内容简介:计算机科学的定义性描述。迄今已出版的完整的三卷组成了程序设计理论和实践的惟一的珍贵源泉，无数读者都赞扬Knuth的著作对个人的深远影响。科学家们为他的分析的美丽和优雅所惊叹，而从事实践的程序员们已经成功地应用他的“菜谱式”的解到日常问题上，所有人都由...详情

经典好书《计算机程序设计艺术》读书内容简介:努特，中文名高德纳)是算法和程序设计技术的先驱者，是计算机排版系统TEX和METAFONT的发明者，他因这些成就和大量创造性的影响深远的著作(19部书和160篇论文)而誉满全球。作为斯坦福大学计算机程序设计艺术的荣誉退休教授，他当前正全神贯注于完成其...详情

经典好书《计算机程序设计艺术》读书内容简介:领域经典之作，深入阐述了程序设计理论，对计算机领域的发展有着极为深远的影响。本书是该系列的第 1 卷，讲解基本算法，其中包含了其他各卷都需用到的基本内容。本卷从基本概念开始，然后讲述信息结构，并辅以大量的习题及答案。作者简介<p...详情

经典好书《计算机程序设计艺术：第4卷 第3册（双语版）》读书内容简介:计算机科学的定义性描述。这一册以及刚刚出版的第4卷第2册揭开了人们急切等待的《计算机程序设计艺术第4卷组合算法》的序幕。作为关于组合查找的冗长一章的一部分，这一册开始关于生成所有组合和分划的讨论。在Knuth讨论这两个主题的过程中，读者不仅会看到很多...详情