经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《推理要在晚餐後(限量精裝版)》读书内容简介:者訪台紀念精裝版,超值收錄《推理要在晚餐後》精裝版、硬質磁鐵書盒、精美印製帆布紀念提袋。採限量製作,絕不再版。【媒體推薦】銷售突破175萬冊!擊敗湊佳苗《告白》銷售紀錄──2011...详情
推理要在本格前 书籍
经典好书《推理要在本格前》读书内容简介:们将推理小说送上了新的巅峰,使之成为极致“真善美”与“假恶丑”的矛盾体,折射出日本文化的底蕴之魅——自明治维新之后,受欧美侦探小说影响,日本推理小说逐渐发展起来,并经历了从无到有、由弱变强的蜕变。<p...详情
推理要在放学后 书籍
经典好书《推理要在放学后》读书内容简介:空调,“凉”自然也不是广告语。我是私立鲤洼学园高等部二年级学生,同时还顶着侦探部副部长的高贵头衔。什么是侦探部?侦探部可不是纸上谈兵的幼稚的推理小说部,而是真真正正破案子的活动部。虽然目前我还没有接到委托,不过凭借我的火眼金睛和特殊的名...详情
魔女青春推理事件簿 1 书籍
经典好书《魔女青春推理事件簿 1》读书内容简介:住在廢墟中的謎樣美少女(與柴犬高一生)將解開校園之謎……柴山祐希,高中一年級,在班上找不到自己的歸屬,學校生活平淡無味。某天,學校對面的廢墟大樓中,出現一位妖豔性感的美少女茉莉。她的頭髮烏...详情
推敲“自我” 书籍
经典好书《推敲“自我”》读书内容简介:始阶段到18世纪英国小说首次繁荣昌盛这一百多年里的主要小说作家、主要作品、流派风格和在英国及西方小说史上的贡献。书中包容、点评了西方特别是英美学者们过去对这些作家、作品从不同观点和角度所发表的重要评论意见,在此基础上提出了自己的看法。在具体评介上,作...详情
比经推例 书籍
经典好书《比经推例》读书内容简介:经学则由政治学逐渐转变为经学文献学。治经方法也渐由师说家法、章句授受之“因承”,转而为比经推例、群经相明之“推证”。何休、杜预最为简洁地揭示了春秋学的“大义”:《春秋》非射覆之书,褒贬寓于经文之中,更藉由经文与经文的关系呈现。同样,由于训诂材料的缺乏...详情
推土机年年作响,乡村变了 书籍
经典好书《推土机年年作响,乡村变了》读书内容简介:年,七张彩色的图片,从同一个视角,记录了一个乡村二十年的变迁。一个曾经宁静的小村落,变得一天比一天喧闹,而在城市化的进程中,改变的不只是环境,还有人们的生活方式。绘本大师约克·米勒以包含丰富细节的无声画面,引导读者去思考人类与自然、自然...详情
经典好书《阿加莎·克里斯蒂侦探推理“波洛”系列(全32册)》读书内容简介:女王。她的著作英文版销售量逾10亿册,而且还被译成百余种文字,销售量亦逾10亿册。她一生创作了80部侦探小说和短篇故事集,19部剧本,以及6部以玛丽·维斯特麦考特的笔名出版的小说。著作数量之丰仅次于莎士比亚。阿加莎·克里斯蒂的第一部小说...详情
38只鸚鵡:推倒大定律 电视剧
电视剧【38只鸚鵡:推倒大定律】剧情介绍:сек. Союзмультфильм, 1985 г. ...详情