情報数学セミナー --
小野寛晰 /著   -- 日本評論社 -- 1994.04 -- 22cm -- 297p

資料詳細

タイトル 情報科学における論理
シリーズ名 情報数学セミナー
著者名等 小野寛晰 /著  
出版 日本評論社 1994.04
大きさ等 22cm 297p
分類 410.96
件名 記号論理学
注記 参考文献:p287~288
要旨 最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
目次 第1章 命題論理;第2章 述語論理;第3章 エルブランの定理と導出原理;第4章 様相論理;第5章 直観主義論理;第6章 自然演繹の体系
ISBN(13)、ISBN    4-535-60814-8
書誌番号 1194030226

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/176 一般書 利用可 - 0008940509 iLisvirtual