恋爱与禁忌的述语论理

图书标准信息

• 作者 [日]井上真伪 著；牧久音 译
• 出版社 北京时代华文书局
• 出版时间 2018-12
• ISBN 9787569927153
• 定价 48.00元
• 装帧 平装
• 原版书名 恋と禁忌の述語論理
• 丛书 千本樱文库

【内容简介】

真相乃是，可以演算的。
大学生詠彦前来拜访他身为天才数理逻辑学家的小姨，砚小姐。
为了让这位三十多岁的单身美女，证明本应被名侦探解决了的杀人事件之真相。
詠彦一次次带来了不同的案件——
“亲手制作的料理是杀意还是祝福？”
“‘幽灵的证明’能否锁定绞杀犯的身份？”
“双胞胎中‘哪一个’犯下了凶案？”
——以及解决这些案件的，个性过于鲜明的名侦探们。
站在人类所有思维活动之顶点的数理逻辑学家砚小姐，能否将全部谜题一一证明！？

【作者简介】

井上真伪
东京大学毕业。神奈川县生人。以本书《恋爱与禁忌的谓词逻辑》获得第51届梅菲斯特奖。

【目录】

第1课 八角与命题逻辑
第2课 交叉结与谓词逻辑
第3课 三胞胎与模态逻辑
升级考试 恋爱与禁忌的……？
卷末资料