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

电视剧【塔马教授的天才推理（1）隐岐岛的黄金传说杀人事件剧情介绍】剧情介绍: 　　俳优?佐々木蔵之介が2时间ドラマの主役に初挑戦した『塔马教授の天才推理（1）　隠岐岛の黄金伝説杀人事件』...详情

电视剧【韩剧推理的女王2】剧情介绍:英恩执导，李承旼编剧，权相佑。崔江熙、李多喜、吴闵硕、朴炳垠等主演KBS2TV新周三周四剧。推理的女王2剧情讲述权相佑饰演的热血警察与崔江熙饰演的家庭主妇联手破解谜案的故事。 推理的女王2剧照 ...详情

电视剧【韩剧推理的女王】剧情介绍:，李承敏编剧，权相佑、崔江姬、李源根、申贤彬主演的悬疑连续剧。推理的女王剧情主要讲述了做着警察梦的主妇和热血警察一起用不同的搜查方式进行合作推理案件的故事。　　何完胜（权相佑饰）是一位王牌刑警，他拥有雕塑般的完美外貌，但比起推理更相信直...详情

经典好书《把自己推理成凶手的名侦探》读书内容简介:对班主任的阴谋由此产生；扬言炸掉学校的丑男却发现吊死在密室里；胖子书包惊现恐吓信，竟然是关于校运动会的杀人预告？副班长追踪到网吧，发现不良学生交换的杀人聊天记录，被杀对象都是处女座？游戏战队在暴...详情

经典好书《天久鷹央的推理病歷表》读书内容简介:定為「難以醫治」的患者。部長．天久鷹央是個思路清晰、博學多聞的天才，也是個怪人。堅持自己看到了河童的少年、看到鬼火而害怕不已的護理師、發現自己突然懷孕而萬分激動的女高中生－－各種疑難雜症在她的推理之下皆無所遁形，甚至還連帶解決了犯罪事件！新型態醫療推...详情

经典好书《我的日常推理》读书内容简介:/p>寫盡日常中細微的古怪，道出生活中暗藏的驚奇！●榮登「這本推理小說真厲害！」年度10大推理小說！●推理評論家心戒、張東君、曲辰驚豔推薦！你有沒有仔細看？仔細聽？千萬別放過日常生活中任何一個小細節，因...详情

经典好书《超. 殺人事件: 推理作家的苦惱》读书内容简介:/p>◎2001年「週刊文春推理小說BEST10」第八名締造史上「五冠王」記錄暢銷書天王直木獎作家東野圭吾的幽默獻禮！日本暢銷書天王東野圭吾生花妙筆，直指文學界各種匪夷所思怪現象。八篇既諷...详情

电视剧【推理的女王】剧情介绍:塑般的完美外貌，但比起推理更相信直觉，比起法律更相信拳头。他不喜欢复杂的过程，靠着动物般的本能与敏锐的直觉抓捕罪犯。刘雪玉（崔江姬 饰）则以知识和经验为基础，进行复杂推理找到真相。两人办事方式完全相反，但在一起却是梦幻搭档。两人携手，共同调查各种犯罪...详情

经典好书《知日·了不起的推理》读书内容简介:保存本！一本就够！那些了不起的日系推理；人人都爱！推理大国的全景扫描！从江户川乱步、松本清张、京极夏彦等推理界大师，到东野圭吾、宫部美雪、乙一、凑佳苗等推理新秀，日系推理如何让人痴狂？日系推理到底有多“了不起”？本格推理之神岛田庄司、新本格推理代表绫...详情