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

经典好书《GRE官方题库范文精讲》读书内容简介:多道GRE作文真题及其范文，精讲其中的近100篇，并分析总结了Issue和Argument高分写作技巧，指导你立竿见影地提高作文成绩。同时还帮助你揣摩评卷人的心理，使你真正做到知己知彼，百战不殆。GRE写作备考方略；GRE写作的建议与禁...详情

经典好书《戰國官名新探》读书内容简介:重要组成部分。作者利用近年出土的简牍、玺印、封泥和铜器铭文等与当时历史文献互证的研究方法，系统介绍战国时期中央与地方官名的职司特点。本书可供古文字学、历史学、中国古代书法等研究者研读。作者简介吴晓懿，1971年生，广东湛江...详情

经典好书《非常三百年-罗马帝国衰落记》读书内容简介:的事件。这个雄霸地中海世界千余年的帝国，何以竟在公元476年突然土崩瓦解了呢?是孟德斯鸠认为的自由政治制度的优劣和居民风俗的善恶所决定的吗?式爱德华·吉本所说的“毫无节制的扩张”导致人口的减少、风气的败坏、阶...详情

经典好书《罗马与中国》读书内容简介:论集，收录了七位不同作者撰写的专论，其中的五篇为提交给斯坦福大学2005年名为“帝国研究：比较视野下的古代中国与地中海文明史”国际会议的论文。各论内容涉及政治、法律、社会经济和思想文化等多个向度，提供了重新观察、审视和反思中西方中古历史的新视角与新方...详情

经典好书《域和伽罗瓦理论》读书内容简介:，因此在整个数学科学中处于基础地位。Galois是最早提出有限域观点的人，他对于抽象域理论的诞生至关重要。 本书把抽象域论一分为二，首先讲代数扩张及其在代数域论上的应用，其次介绍超越扩张及其在代数函数论及代数几何上的应用，中间还插入经典的Galois...详情

经典好书《东方国家的社会跳跃与文化滞后-俄罗斯文化与列宁主义问题》读书内容简介: 东方国家的社会跳跃与文化滞后：俄罗斯文化与列宁主义问题分：东西方交界处的俄罗斯、落后优势·社会跳跃·文化滞后、列宁主义的俄国根、历史反思与未来展望等8章，揭示列宁主义的丰富文化内涵及其与俄罗斯传统的联系。作者简介详情

经典好书《空间·时间·建筑》读书内容简介:方法来研究历史；用空间概念来分析建筑；用恒与变（Constance and Change）来揭示发展的本质；用大历史衬托具体建筑现象，又用具体现象的深刻分析来呼应时代；种种直笔与曲笔的结合，共时与历时分析的结合使人在雄浑的历史感中体会到建筑真意。 　...详情

经典好书《宋史职官志补正（增订本）》读书内容简介:>全书共分为十二部分，对《宋史》卷161至卷172的《职官志》做了极周全详备，也极精审谛当的补正。对《宋史职官志》的遍体鳞伤，细致周详地进行核查、比证，每一条各都有理有据，说理精当，证据确凿，都具有极强的说服力。是研究宋代职官制度的案头必备参考...详情

经典好书《编写高质量代码：改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助！内容全部由Python编码的最佳实践组成，从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌，一共总结出91条宝贵的建...详情