经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
面包树上的女人 书籍
经典好书《面包树上的女人》读书内容简介:。因为你,我甘愿冒这一次险,即使没有明天……面包树的确存在,它是产于亚、美两洲的乔木。有人说,女人的幸福是丝萝找到可托之乔木,也有人说,女人最艰难的问题便是面包与爱情之间的抉择。小说里的三个好朋友程韵、朱迪之、沈光蕙各自寻...详情
流浪的面包树 书籍
经典好书《流浪的面包树》读书内容简介:着灿烂的青春,为世间的相聚而唱,也为那样缠绕执拗的爱情而歌。唯愿这一曲永不落幕,就像我们拥有过的所有刻骨铭心的爱情,时日渐远,始终与记忆相伴,不曾老去。——张小娴作者简介张小娴,华语文坛最耀眼的名字。迄今已出...详情
面包树上的女人 书籍
经典好书《面包树上的女人》读书内容简介:是成名作,作品先在香港《明报》连载。关于面包和爱情,是一种人生态度吧?而在面包树上的女人是最彷徨的一种。作者简介张小娴,香港女作家。1995年推出第一部长篇小说《面包树上的女人》而走红文坛,继亦舒之后,成为香...详情
大明王朝的七张面孔 书籍
经典好书《大明王朝的七张面孔》读书内容简介:人物:一个皇帝:朱元璋;一个篡位者:朱棣;一个清官:海瑞;一个太监:魏忠贤;一个造反者:张献忠;一个叛徒:吴三桂;一个忠臣:郑成功。以文学化的笔法描述七个人物在历史场景与文化中的境况,剖析其生命历程背后难为人知的艰辛、焦灼和不得已,展现...详情
中国文化传统的六个面向 书籍
经典好书《中国文化传统的六个面向》读书内容简介:的六个面向——英雄本色、政教道统、江河岁月、饮食男女、魑魅魍魉、魂兮归来,结合经典文本进行个体剖析,从中外比较、古今汇通的角度阐释中国文化传统是什么。同时,作者所提出的这六个面向又构成一个完整而多元的文化光谱,它们相互映照,富有乐感,读来甚有趣味。<...详情
鷹的面具 书籍
经典好书《鷹的面具》读书内容简介:坏事做尽、不择手段,好不容易摆平了所有对手,坐上驭风堂堂主位置,没想到马失前蹄,被一发子弹送进了医院。醒来的时候却发现自己变成了另一个人!?靠!难道真的是坏事做太多遭了报应?楼展戎震惊地看着镜子...详情
经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家,尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉,美国范德比尔特大学(Vanderbilt University)计算机科学教授。他的研究领域包括模式和模式语言、优化原理,对于支持服务质量的组件中...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情