小野 寛晰/著 -- 日本評論社 -- 1994.4 -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/オ/ 111779641 成人一般 可能 iLisvirtual

資料詳細

タイトル 情報科学における論理
タイトルカナ ジョウホウ カガク ニ オケル ロンリ
叢書名 情報数学セミナー
著者 小野 寛晰 /著  
著者カナ オノ ヒロアキラ
出版者 日本評論社
出版年 1994.4
ページ数 297p
大きさ 22cm
一般件名 記号論理学
ISBN 4-535-60814-8 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410.96
内容紹介 最近、情報科学のいろいろな分野で数理論理学が用いられるようになってきた。そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたもの。論理学の考え方をできるだけやさしく説明。
著者紹介 1942年愛知県生まれ。東京大学教養学部基礎学科卒業、同大学大学院理学系研究科修士課程修了。現在、北陸先端科学技術大学院大学情報科学研究科教授。著書に「関係の代数」など。