经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
心灵和宇宙 书籍
经典好书《心灵和宇宙》读书内容简介:思辨之作。之所以难以概括作者的观点,是因为作者用看起来精短的篇幅讨论了一个科学哲学中最基本而又繁复的大问题——人类的心灵,或者我们日常所讲的“主观世界”,所有的情感、思想、道德,与之相关的感受力、判断力、思辨力,其“起源”究竟是什么。作者论述的目的并...详情
经典好书《全校会注集评聊斋志异修订本》读书内容简介:校以青柯亭本、铸雪斋本、异史本、二十四卷本、但明伦批本等目前可见的十几种本子,重新厘定了《聊斋》的编次,改通行本的十二卷为八卷;汇集了十余家评语,除著名的王世禛、冯镇峦、但明伦等的评论之外,还加入了不太常见的王金范和方舒岩的评语;汇编了《聊斋》最重要...详情
杀手的眼泪 书籍
经典好书《杀手的眼泪》读书内容简介:于一个未识亲情、纯白如纸的男孩,在一个被通缉的杀人犯与一个浪荡富家子作家的抚养下,如同一颗种子在岩床上发芽盛开一般,如何在冷冽的贫瘠荒原上成长的故事。罪行、正义、绝望、希望,以及爱与救赎、这部让人不易忘怀的杰出著作颠覆了读者头脑中惯常的、关于英雄和坏...详情
诡异学派 四谷老师的怪谈 书籍
经典好书《诡异学派 四谷老师的怪谈》读书内容简介: 在学校附近的道口处,一名女生被列车撞飞,被害人「弥生雏乃」当场死亡。被撞得七凌八乱的身体被立即拼凑起来,只有下半身怎么也找不到。弥生的美腿到底身在何处…?有声响,可那里却没有任何人。我听到了。到底是什么声音呢?那个声音就是——作者简介详情
谋杀与创造之时 书籍
经典好书《谋杀与创造之时》读书内容简介:当代硬汉派侦探小说最杰出的代表。他的小说不仅在美国备受青睐,而且跨越了大西洋,完全征服了自诩为侦探小说故乡的欧洲。侦探小说最重要的两个奖项,爱伦·坡奖的终身成就奖和钻石匕首奖均肯定了劳伦斯的大师地位。他曾三次获爱伦·坡奖,两获马耳他之鹰奖,四获夏姆奖...详情
中国人的心灵 书籍
经典好书《中国人的心灵》读书内容简介:文学史品读》修订本,在作者看来,文学是人类精神的避难所。通过对中国文学史上自《诗经》以降众多名家、名作的新异解读和诗意感怀,作者试图深入中华民族的内在心灵与思想,力求展示这个民族三千年的理智与情感。在书中我们不难看到,感情热烈而思想敏锐的鲍鹏山,是如...详情
血腥的谋杀 书籍
经典好书《血腥的谋杀》读书内容简介:(1912-1994)在推理文坛上,能囊括美国推理作家协会颁发的“推理大师奖”、英国犯罪作家协会颁发的“钻石匕首奖”,以及瑞典侦探学院颁发的大师奖三个重量级奖项的作家, 只有朱利安•西蒙斯一人。朱利安•西蒙斯出生于英国伦敦...详情
异海 书籍
经典好书《异海》读书内容简介:战功的军人吴××接到国家指派的神秘任务:化名曹沧,参与一个中美合作的物理实验。这个实验的目的是尝试进入另外一个空间——异海。随着中美联合实验在诡秘异海的展开,一系列离奇惊险的状况不断发生,很多神秘事件的谜团也慢慢浮出水面:疍族的《水路簿...详情