经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
虛構推理 01 书籍
经典好书《虛構推理 01》读书内容简介:都不可能預料得到接下來的發展!!─無論有多麼合理,此推理仍然是虛構的─成為“妖怪”們智慧之神的少女岩永琴子一見鍾情的對象櫻川九郎居然是一個連“妖怪”也畏懼三分的男人!?這2人所遇上的異想天開事件和戀情將會何去何從呢?令人驚...详情
文豪Aの時代錯誤な推理 书籍
经典好书《文豪Aの時代錯誤な推理》读书内容简介:蘇った文豪、探偵となる!?自死を遂げたはずの龍之介は、羅生門の下で目覚めた。門を通じて事件を目撃した龍之介は、現代の田端に茶川龍之介として蘇る。羅生門現象と呼ばれる事件を食い止めるため、一人の女性を救うため――彼は推理する!<b...详情
经典好书《社会科学のリサーチ・デザイン―定性的研究における科学的推論》读书内容简介:」を引き出すか。「社会科学者のように考える」うえで必要な問いの立て方や議論の進め方を教える、実践的方法論。作者简介キング,ゲアリーウィスコンシン大学Ph.D.現在、ハーヴァード大学教授。計量政治学、政治学方法...详情
推开文学家的门 书籍
经典好书《推开文学家的门》读书内容简介:著作里的世界,一窥堂奥,这种人文式的旅行,是文学爱好者喜欢出外走走的目标。从作家屋内的旧有文物中,可以见识到一个时代的演进与变化,当时人民生活之一斑,使得参观文人故居不仅成了文学爱好者的朝圣之旅,同时也是普通民众对历史与文化有所了解的重...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《推理要在晚餐後(限量精裝版)》读书内容简介:者訪台紀念精裝版,超值收錄《推理要在晚餐後》精裝版、硬質磁鐵書盒、精美印製帆布紀念提袋。採限量製作,絕不再版。【媒體推薦】銷售突破175萬冊!擊敗湊佳苗《告白》銷售紀錄──2011...详情
推理要在本格前 书籍
经典好书《推理要在本格前》读书内容简介:们将推理小说送上了新的巅峰,使之成为极致“真善美”与“假恶丑”的矛盾体,折射出日本文化的底蕴之魅——自明治维新之后,受欧美侦探小说影响,日本推理小说逐渐发展起来,并经历了从无到有、由弱变强的蜕变。<p...详情