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

经典好书《法律推理与法律理论》读书内容简介:国家法学钦定讲座教授，爱丁堡皇家学会会员和不列颠学会会员，王室法律顾问。麦考密克是当代世界法律哲学领域中最重要的人物之一，主要著作有《法律推理与法律理论》（1978）、《制度法论》（与魏因伯格尔合著，1980）、《哈特传略》（1981）、《法律权利与...详情

电视剧【爱的理想生活(又名：涩女郎,新粉红女郎)】剧情介绍:美人生的终极信条，可没想到却在婚礼前夕被分了手，一时无处可去的戴希希寄居到丁荟桥家过起了重生的生活，却和原本就租住在这里的婚庆设计师温如雪成了冤家。虽然论及美貌，丁荟桥并不输温如雪甚至还更胜一筹，可偏偏她是一个高智商低情商的职场女强人，把工作当做人生...详情

经典好书《太空城疑案》读书内容简介:俄裔美籍作家，被全世界的读者誉为“神一样的人”；美国政府授予他“国家的资源与自然的奇迹”这个独一无二的称号，以表彰他在“拓展人类想象力”上做出的杰出贡献。阿西莫夫是一个全知全能的作家，其著作几乎覆盖人类生活的一切方面，上天...详情

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

电视剧【网络剧推理笔记】剧情介绍:轻小说《推理笔记》改编，由林清振执导，张子枫、侯明昊、汪铎主演的校园推理剧。推理笔记剧情讲述了一场换心手术让少女夏早安获得双重人格，拥有推理能力的隐藏人格——爱迪生，牵引着夏早安进入了一系列连环杀人阴谋中。 　　推理天才米卡卡为帮助...详情

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

经典好书《松浦弥太郎の仕事術》读书内容简介:い。『暮しの手帖』編集長、書店経営、文筆家と、三つの顔をもつ著者がおくる、仕事の哲学と発想法。あなたの働き方・暮らし方が変わる、34の新ルール。作者简介松浦弥太郎，1965年于东京出生。高中辍学后便远赴美国。...详情

经典好书《完全犯罪 加田伶太郎全集》读书内容简介:怪な密室殺人――迷宮入になった十年以上前の事件を巡って四人の男が推理を競う傑作「完全犯罪」。著者の加田伶太郎は、本作を始めとする僅か数編の短編小説を以て斯界に名を知らしめた。――謎に包まれたその正体は、戦後日本文学に偉大な足跡を残す作家・福永武彦のも...详情

经典好书《超・殺人事件―推理作家の苦悩》读书内容简介:、奇妙な機械「ショヒョックス」。どんな小説に対してもたちどころに書評を作成するこの機械が、推理小説界を一変させる―。発表時、現実の出版界を震撼させた「超読書機械殺人事件」をはじめ、推理小説誕生の舞台裏をブラックに描いた危ない小説8連発。意表を衝くトリ...详情