经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
少年の境界 2 书籍
经典好书《少年の境界 2》读书内容简介:関係になったゆかと薫、αとしての人生をそれなりに謳歌する大我、Ωであることを諦観する倫――4人の人生がこの一時交差する。その出会いはだれかの不幸であり、だれかの奇跡だった。運命に翻弄される大人気...详情
巡り合うよベィビィ 书籍
经典好书《巡り合うよベィビィ》读书内容简介: バイトで家計を支えるしっかり者の空也は、仕事中に男同士のキスシーンを目撃してしまう。片方に見覚えがあると思ったら、それは空也が通う高校の教師で……!? 先生×生徒のラブ・プラクティス!!作者简介详情
现代语境中的上帝观念 书籍
经典好书《现代语境中的上帝观念》读书内容简介: 本书疏解了自希腊化时代至中古末期重要的思想文献,并游刃于经典诠释,教父学研究,中世纪思想和近现代各种哲学辩论之间,不但清晰阐明各种思想,更热切地以西方欧洲思想传统与之对话,娓娓展现出西方上帝观念在自身传统中的演变递进,特别是作为西方重要的精作者简介详情
BLEACH 境·界22 书籍
经典好书《BLEACH 境·界22》读书内容简介: 《境·界22》内容简介:一护为灭虚而奔走不止,平子则想要力劝其加入“假面军团”。另一方面,注意到异变的老爸一心察觉出幕后是蓝染,于是暗自恢复了死神的身份。随后伴着惊人的灵压,“破面”终于降临现世!作者简介详情
BLEACH 境·界4 书籍
经典好书《BLEACH 境·界4》读书内容简介: 《境·界4》内容简介:哇哈哈哈哈——伴着洪亮的笑声,超人气灵媒师唐·观音寺驾临空座町。而废弃的医院也成为了这个灵异类节目的录制现场。相对于大家的兴致高涨,一护却忧心忡忡。果不其然。又有麻烦了!作者简介详情
边走边啃腌萝卜 书籍
经典好书《边走边啃腌萝卜》读书内容简介:连载文章的结集。这次河童以日本人饮食生活的原点—— 腌萝卜为主线, 从东京都出发, 北至北海道, 南抵鹿儿岛, 西达鸟取, 一路品尝了从监狱、寺院直至远洋渔船厨房里的腌萝卜。不过河童显然不打算让整个连载都被浓重的腌萝卜味道所覆盖, 于是环境公害、食品...详情
儒家的困境 书籍
经典好书《儒家的困境》读书内容简介:域的重要话题,东亚的崛起与儒家思想有什么关系?儒家的人格在现代社会中能起到何种作用?作者用旧约传统中的先知同中国儒家传统中的君子进行比较,认为真正的君子就是要对朝廷的不义进行谴责和矫枉。君子和帝王之间的张力是中国政治中重要的主题。</p...详情
边躲边爱 书籍
经典好书《边躲边爱》读书内容简介:生,而是拼命地想要忘掉他。在认识徐佐正之前,方其从来不觉得自己的生活方式有什么不好的地方,为了生活,他甚至不惜出卖自己的身体。而现在的他却想努力蜕去那层肮?堕落的过去,变成一个和徐佐正一样,那么乾净美丽的一个人。但是什么叫...详情