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

经典好书《数据结构与问题求解》读书内容简介:用的观点介绍了数据结构和算法。本书中包含了C++的最新特性，任何地方都可以完全使用标准模板库（STL）。　　　　C++允许程序员分开编写接口和实现，将它们保存在单独编译的文件中，并隐藏实现的具体细节。本书深入了一层：数据结构的接口和实现...详情

经典好书《韧的追求》读书内容简介:，在20世纪众多史学家中，可谓独树一帜，在很多方面自成体系，如他主编的《中国思想通史》(五卷)对中国思想得发展历程做了系统梳理，明确从社会史入手解决思想史问题，扩大了思想史的研究范围，他主编的《宋明理学史》(上下)，则运用马克思主义方法，对宋明理学思...详情

经典好书《维特根斯坦读本》读书内容简介:个仅有的具有两种哲学体系的哲学大家的思想进行分门别类的专题解读。是极好的分析理解维特根斯坦思想观点和体系的辅导性读物，也是开创了对经典文本阅读评点的新的形式。作者简介陈嘉映，中国著名的哲学教授之一，也是海德格尔和维特根斯坦...详情

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

经典好书《阿尔巴特街的儿女们》读书内容简介: 作者简介详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情

经典好书《Java核心技术（卷2）：高级特性（原书第9版）》读书内容简介:有20多年教学与研究经验的资深Java技术专家撰写（获Jolt大奖），与《Java编程思想》齐名，10余年全球畅销不衰，广受好评。第9版根据Java SE 7全面更新，同时修正了第8版中的不足，系统全面讲解Java语言的核心概念、语法、重要特性和开发...详情

经典好书《与普鲁斯特共度假日》读书内容简介:世界文坛最重要的小说之一，与《尤利西斯》并称意识流小说的巅峰。这部小说以清新灵动的独特艺术风格，借助超越时空的潜在意识，使逝去的时光在他笔下重现，从中抒发对故人、对往事的无限怀念和难以排遣的惆怅。安德烈·莫洛亚曾说过：“普鲁斯特简单的、...详情

经典好书《机器学习基础教程》读书内容简介:学的核心技术，用于帮助理解一些常用的机器学习算法。书中展示的算法涵盖了机器学习的各个重要领域：分类、聚类和投影。本书对一小部分算法进行了详细描述和推导，而不是简单地将大量算法罗列出来。本书通过大量的MATLAB/Octave脚本将算法和...详情