資料詳細

  • 1 件中、 1 件目

恋と禁忌の述語論理（プレディケット）   貸出可

井上真偽／著 -- 講談社 -- ２０１５．１ -- 913.6  (講談社ノベルス イＴ‐０１)

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫９門 /913.6/Ｉ５５/ 0010014422129 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 恋と禁忌の述語論理（プレディケット） 
著者１ 井上真偽 ／著  
出版年 ２０１５．１
出版者 講談社
シリーズ名 講談社ノベルス  イＴ‐０１
ページ数 ３０９ｐ
大きさ １８ｃｍ
ISBN 4-06-299038-7
NDC分類(10版) 913.6
内容紹介 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。アラサ－独身美女の彼女に、名探偵が解決したはずの殺人事件の真相を証明してもらうために‐。数理論理学で硯さんはすべての謎を証明できるのか？

ページの先頭へ

内容一覧

タイトル 著者名 ページ
スタ－アニスと命題論理 ７‐９７
クロスノットと述語論理 ９９‐１６２
トリプレッツと様相論理 １６３‐２８６
恋と禁忌の…？ ２８７‐３０９

ページの先頭へ

著者紹介

著者紹介１－１ 神奈川県出身。東京大学卒業。「恋と禁忌の述語論理」で第５１回メフィスト賞受賞。