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

经典好书《推理要在晚餐後(限量精裝版)》读书内容简介:者訪台紀念精裝版，超值收錄《推理要在晚餐後》精裝版、硬質磁鐵書盒、精美印製帆布紀念提袋。採限量製作，絕不再版。【媒體推薦】銷售突破175萬冊！擊敗湊佳苗《告白》銷售紀錄──2011...详情

经典好书《推理要在本格前》读书内容简介:们将推理小说送上了新的巅峰，使之成为极致“真善美”与“假恶丑”的矛盾体，折射出日本文化的底蕴之魅——自明治维新之后，受欧美侦探小说影响，日本推理小说逐渐发展起来，并经历了从无到有、由弱变强的蜕变。<p...详情

经典好书《推理要在放学后》读书内容简介:空调，“凉”自然也不是广告语。我是私立鲤洼学园高等部二年级学生，同时还顶着侦探部副部长的高贵头衔。什么是侦探部？侦探部可不是纸上谈兵的幼稚的推理小说部，而是真真正正破案子的活动部。虽然目前我还没有接到委托，不过凭借我的火眼金睛和特殊的名...详情

经典好书《魔女青春推理事件簿 1》读书内容简介:住在廢墟中的謎樣美少女（與柴犬高一生）將解開校園之謎……柴山祐希，高中一年級，在班上找不到自己的歸屬，學校生活平淡無味。某天，學校對面的廢墟大樓中，出現一位妖豔性感的美少女茉莉。她的頭髮烏...详情

经典好书《推敲“自我”》读书内容简介:始阶段到18世纪英国小说首次繁荣昌盛这一百多年里的主要小说作家、主要作品、流派风格和在英国及西方小说史上的贡献。书中包容、点评了西方特别是英美学者们过去对这些作家、作品从不同观点和角度所发表的重要评论意见，在此基础上提出了自己的看法。在具体评介上，作...详情

经典好书《比经推例》读书内容简介:经学则由政治学逐渐转变为经学文献学。治经方法也渐由师说家法、章句授受之“因承”，转而为比经推例、群经相明之“推证”。何休、杜预最为简洁地揭示了春秋学的“大义”：《春秋》非射覆之书，褒贬寓于经文之中，更藉由经文与经文的关系呈现。同样，由于训诂材料的缺乏...详情

经典好书《推土机年年作响，乡村变了》读书内容简介:年，七张彩色的图片，从同一个视角，记录了一个乡村二十年的变迁。一个曾经宁静的小村落，变得一天比一天喧闹，而在城市化的进程中，改变的不只是环境，还有人们的生活方式。绘本大师约克·米勒以包含丰富细节的无声画面，引导读者去思考人类与自然、自然...详情

经典好书《阿加莎·克里斯蒂侦探推理“波洛”系列（全32册）》读书内容简介:女王。她的著作英文版销售量逾10亿册，而且还被译成百余种文字，销售量亦逾10亿册。她一生创作了80部侦探小说和短篇故事集，19部剧本，以及6部以玛丽·维斯特麦考特的笔名出版的小说。著作数量之丰仅次于莎士比亚。阿加莎·克里斯蒂的第一部小说...详情

电视剧【38只鸚鵡：推倒大定律】剧情介绍:сек. 　　Союзмультфильм, 1985 г. ...详情