恋と禁忌の述語論理(プレディケット)

• 資料種別: 図書
• ISBN: 978-4-06-299038-7
• タイトル: 恋と禁忌の述語論理(プレディケット)
• タイトルよみ: コイ ト キンキ ノ プレディケット
• 著者・編者: 井上真偽 著
• シリーズタイトル: 講談社ノベルス ; イT-01
• 著者標目: 井上, 真偽 イノウエ, マギ ( 001192074 )典拠
• 出版事項: 東京 : 講談社
• 出版年月日等: 2015.1
• 出版年（W3CDTF）: 2015
• 数量: 309p
• 大きさ: 18cm
• その他のタイトル: 恋と禁忌の述語論理 コイ ト キンキ ノ ジュツゴ ロンリ
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDC9版: 913.6 : 日本文学--小説．物語
• NDLC: KH844
• 対象利用者: 一般
• 入手条件・定価: 960円
• 所蔵機関: 国立国会図書館
• 請求記号: KH844-L1419
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 025990559; http://id.ndl.go.jp/bib/025990559
• 全国書誌番号: 22517902
• トーハンMARC番号: 33200876
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: スターアニスと命題論理クロスノットと述語論理トリプレッツと様相論理...
• 要約等: 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。アラサー独身美女の彼女に、名探偵が解決したはずの殺人事件の真相を証明してもらうために－。数理論理学で硯さんはすべての謎を証明できるのか？（提供元: サピエ図書館資料検索）
• 著者紹介: 井上 真偽 東京大学卒業。神奈川県出身。『恋と禁忌の述語論理』で第51回メフィスト賞を受賞。（提供元: 出版情報登録センター（JPRO））

目次

レッスンI「スターアニスと命題論理」
レッスンII「クロスノットと述語論理」
レッスンIII「トリプレッツと様相論理」
進級試験　「恋と禁忌の……？」
巻末資料