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

经典好书《创造之门》读书内容简介:家。本译本汇集了他的著作《生活与学习》以及《可变思维与创造》的精彩章节。读者可从中了解这位数学精英成功之路的奥妙。作者简介广中平佑（広中平佑，Hironaka Heisuke，1931年4月9日－），日本数学家，京都大学名...详情

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

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

经典好书《认知、脑与意识》读书内容简介:识：认知神经科学导论（全彩色版）（原著第2版）（导读版）》由认知神经科学领域的权威学者Bernard J．Baars和Nicole M．Gage担纲主编，以独特的方式介绍了该领域的知识与进展。基础教育领域的诸多专业要求学生对认知神经科学具备基本的理解...详情

经典好书《共同基金常识》读书内容简介:先锋集团的缔造者。在共同基金领域，他的地位甚至比巴菲特在股票投资领域还要显赫。◎“巴菲特不可能使你成为沃伦•巴菲特，然而，约翰•博格却能帮助每一个人成为精明的投资者。”经济学泰斗，保罗•萨缪尔森如是说。本书是指数基金教父博...详情

经典好书《身体的塑造》读书内容简介:疯狂和痴迷了。《身体的塑造:美国文化中的美丽和自我想象》通过对美发厅、有氧健身房、整容外科手术室、全美接纳肥胖促进会的调查分析，反映了当代社会和文化对于美丽的约束和限制，将对身体的塑造与自我塑造联系在一起，揭示了美国中产阶级妇女面对不可企及的理想美时...详情

经典好书《来路孤独，常有欢喜》读书内容简介:生动幽默，笔触开阔大气，艺术成就独特且主题丰富：有旅居海外的经历，有个人读书体会，有四个女儿的成长故事，更有对祖国故土和文化的眷恋。其诗歌融会了西方现代文化的灵性和中国传统文化的神韵，构思巧妙、想象丰富，追求诗的工整，讲究诗的和谐，强调...详情

经典好书《意识形态的崇高客体（修订版）》读书内容简介:的歌剧到海因莱因的科幻，从拉康到福科，从黑格尔到马克思，从重大政治事件到犹太人的笑谈，从狗智主义到排犹主义，从排泄问题到神学思辨……齐泽克娓娓道来，令人尽享阅读的快感。在这部极具原创性和挑衅性的著作中，齐泽克概括了欲望的原理，把握了无意识的特质，解剖...详情

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