蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
1 |
中央図書館 | 0110433919 | 410.9/オ/ | 書庫3 | | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1001000806228 |
書誌種別 |
図書 |
書名 |
情報科学における論理 情報数学セミナー |
書名ヨミ |
ジョウホウ カガク ニ オケル ロンリ |
著者名 |
小野 寛晰/著
|
著者名ヨミ |
オノ ヒロアキラ |
出版者 |
日本評論社
|
出版年月 |
1994.4 |
ページ数 |
297p |
大きさ |
22cm |
分類記号 |
410.96
|
分類記号 |
410.96
|
ISBN |
4-535-60814-8 |
内容紹介 |
最近、情報科学のいろいろな分野で数理論理学が用いられるようになってきた。そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたもの。論理学の考え方をできるだけやさしく説明。 |
著者紹介 |
1942年愛知県生まれ。東京大学教養学部基礎学科卒業、同大学大学院理学系研究科修士課程修了。現在、北陸先端科学技術大学院大学情報科学研究科教授。著書に「関係の代数」など。 |
件名 |
記号論理学 |
言語区分 |
日本語 |
(他の紹介)内容紹介 |
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。 |
(他の紹介)目次 |
第1章 命題論理 第2章 述語論理 第3章 エルブランの定理と導出原理 第4章 様相論理 第5章 直観主義論理 第6章 自然演繹の体系 |
内容細目表
前のページへ