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

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

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

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

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

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

经典好书《戊戌变法的另面》读书内容简介:档案”，有着数百上千件史料，涉及到戊戌变法。为了使读者能更多地了解、使研究者能更广泛地利用这批史料，作者采用了“阅读笔记”的写作方式，以能较多地发表史料，并加以详细的注释。作者简介茅海建，男，曾任中国社会科学院近代史研究所...详情

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

经典好书《亲爱的，见字如面》读书内容简介:地爱你。你如照镜子，你不会看得见你特别好的所在，但你如走进我的心里来时，你一定能知道自己是怎样好法。 —— 朱生豪跟你在一起，是我一生最美好的时光。 ——伍尔夫吻我亲爱的露水涟涟的西部花朵百万遍，吻我亲爱的诺拉的卷发百...详情

经典好书《平面排版基本的基本》读书内容简介:★★、值得购买度：★★★★★POINT1：学会“有意识地去看”做不出好的排版，一个很重要的原因是没有“有意识地去看”。本书将教会你如何有意识地去观察事物并学习排版的具体操作方法，进而帮助你从版面设计师的角度去看待问题。</...详情