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

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《马克思恩格斯论文学与艺术(上下)-大学生必读》读书内容简介: 本书分为上、下两编。上编五辑为文学艺术论，论述了科学的世界观，艺术发展论，美、美感和艺术，创作和批评，文学艺术和无产阶级；下编七辑为文学艺术史，论述了原始时代文化艺术、古代文学艺术、中世纪文学和诗歌等。作者简介详情

经典好书《数据结构与算法分析 C语言描述（原书第2版）典藏版》读书内容简介:iss）佛罗里达国际大学计算与信息科学学院教授、副院长，本科教育主任和研究生教育主任。他于1987年获得普林斯顿大学计算机科学博士学位，师从Robert Sedgewick。 他曾经担任全美AP（Advanced Placement）考试计算机学科委...详情

经典好书《数据结构与算法JavaScript描述》读书内容简介:Millan作为大学老师和程序员，曾编写过多部受到好评的数据结构与算法图书，包括Data Structures and Algorithms Using C#、Data Structures and Algorithms Using V...详情

经典好书《古代艺术与仪式》读书内容简介:提出的“神话——仪式”学说主要关注对于古希腊艺术和神话的宗教与民俗渊源的探索，认为所有的神话都源于对民俗仪式的叙述和解释；而原始仪式在褪却了巫术的魔力和宗教的庄严之后，就演变为戏剧。作者简介简·艾伦·哈里森（Jane El...详情

经典好书《数据结构与算法图解》读书内容简介:特定语言，略过复杂的数学公式，用通俗易懂的方式针对编程初学者介绍数据结构与算法的基本概念，培养读者编程逻辑。主要内容包括：为什么要了解数据结构与算法，大O表示法及其代码优化利用，栈、队列等的合理使用，等等。作者简介杰伊•温...详情

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

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

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