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

经典好书《面包树上的女人》读书内容简介:。因为你，我甘愿冒这一次险，即使没有明天……面包树的确存在，它是产于亚、美两洲的乔木。有人说，女人的幸福是丝萝找到可托之乔木，也有人说，女人最艰难的问题便是面包与爱情之间的抉择。小说里的三个好朋友程韵、朱迪之、沈光蕙各自寻...详情

经典好书《流浪的面包树》读书内容简介:着灿烂的青春，为世间的相聚而唱，也为那样缠绕执拗的爱情而歌。唯愿这一曲永不落幕，就像我们拥有过的所有刻骨铭心的爱情，时日渐远，始终与记忆相伴，不曾老去。——张小娴作者简介张小娴，华语文坛最耀眼的名字。迄今已出...详情

经典好书《面包树上的女人》读书内容简介:是成名作，作品先在香港《明报》连载。关于面包和爱情，是一种人生态度吧？而在面包树上的女人是最彷徨的一种。作者简介张小娴，香港女作家。1995年推出第一部长篇小说《面包树上的女人》而走红文坛，继亦舒之后，成为香...详情

经典好书《大明王朝的七张面孔》读书内容简介:人物：一个皇帝：朱元璋；一个篡位者：朱棣；一个清官：海瑞；一个太监：魏忠贤；一个造反者：张献忠；一个叛徒：吴三桂；一个忠臣：郑成功。以文学化的笔法描述七个人物在历史场景与文化中的境况，剖析其生命历程背后难为人知的艰辛、焦灼和不得已，展现...详情

经典好书《中国文化传统的六个面向》读书内容简介:的六个面向——英雄本色、政教道统、江河岁月、饮食男女、魑魅魍魉、魂兮归来，结合经典文本进行个体剖析，从中外比较、古今汇通的角度阐释中国文化传统是什么。同时，作者所提出的这六个面向又构成一个完整而多元的文化光谱，它们相互映照，富有乐感，读来甚有趣味。<...详情

经典好书《永远的画面》读书内容简介: 作者简介详情

经典好书《鷹的面具》读书内容简介:坏事做尽、不择手段，好不容易摆平了所有对手，坐上驭风堂堂主位置，没想到马失前蹄，被一发子弹送进了医院。醒来的时候却发现自己变成了另一个人！？靠！难道真的是坏事做太多遭了报应？楼展戎震惊地看着镜子...详情

经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家，尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉，美国范德比尔特大学（Vanderbilt University）计算机科学教授。他的研究领域包括模式和模式语言、优化原理，对于支持服务质量的组件中...详情

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