经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《おやじな!~千夏と巴の場合~》读书内容简介: 作者简介详情
巴枯宁的手 书籍
经典好书《巴枯宁的手》读书内容简介:学争议之外,诗歌写作与周遭历史之间,也存在着既疏离又纠结的复杂关系。《巴枯宁的手》收录的一系列文章,以若干诗人、作品、现象为讨论对象。在微观的形式分析中引入某种社会文化视野,以透视诗歌的困境和可能、是《巴枯宁的手》尝试的方法。如何打破写作与研究的“幽...详情
经典好书《查理九世23·香巴拉,世界的尽头》读书内容简介: 作者简介详情
机器猫哆啦A梦1 书籍
经典好书《机器猫哆啦A梦1》读书内容简介:两位漫画家。藤子·F. 不二雄是藤本弘的笔名,他生于1933年12月1日,1996年9月23日逝世。日本富山县高冈市人。藤子不二雄A是安孙子素雄的笔名,他是富山县冰见市人,1934年3月10日生。1944年,...详情
巴黎圣母院 书籍
经典好书《巴黎圣母院》读书内容简介:项大奖!全新完整珍藏版,这次彻底读懂《巴黎圣母院》!◆雨果成名杰作:不可不读的爱情经典,雨果用它征服世界!在这个世界上,有人多恨你,就有人多爱你!◆全球至高经典:入选美国《纽约时报》“世界十大名著”,入选英国《泰晤士报》“...详情
巴黎的盛宴 书籍
经典好书《巴黎的盛宴》读书内容简介:1953年出生,巴黎索邦大学社会学毕业。从事文学创作二十多年,出版发行了《一位姑娘》、《离别》、《猫小姐》、《疯人墓地》.《分手》、《裸卧》.《夜行女》、《孩童》、《世纪之爱》等十多部作品。1980年;其作品《希腊的初一》荣获小说头等奖;1991年,...详情
人的自我寻求 书籍
经典好书《人的自我寻求》读书内容简介:独的时代得以重建。本书从分析人的空虚、孤独与焦虑入手,解释现代人面临的严重心理困境,并进一步指出,造成这一混乱的根源是价值核心的丧失、自我感的丧失、语言的丧失和悲剧感的丧失等社会历史和文化心理的因素。然后通过强调自我意识是人不同于动物的独特标志,力图...详情
蔷薇求救讯号 书籍
经典好书《蔷薇求救讯号》读书内容简介:发表宣言的人们,身份背景各异,但无一例外都陷入深刻的绝望。在自杀者的心中,人生这条绝路的唯一出口就是死亡。等不到救赎,得不到祝福,传达不了求救的讯号。绝望的人们以死为终点,步上这条最后的归途。却不料在越来越黑的夜里,看见一点点亮起来的,刺眼到双手都遮...详情