トップページ
資料情報
| タイトル | 論理と計算のしくみ |
|---|---|
| タイトルヨミ | ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ |
| 著者 | 萩谷／昌己‖著 |
| 著者ヨミ | ﾊｷﾞﾔ,ﾏｻﾐ |
| 著者標目(著者紹介) | 東京大学大学院情報理工学研究科教授。専門は計算機科学。 |
| 著者 | 西崎／真也‖著 |
| 著者ヨミ | ﾆｼｻﾞｷ,ｼﾝﾔ |
| 著者標目(著者紹介) | 東京工業大学大学院情報理工学研究科准教授。専門は計算機科学。 |
| 出版者 | 岩波書店 |
| 出版者ヨミ | ｲﾜﾅﾐ/ｼｮﾃﾝ |
| 本体価格 | ¥3400 |
| 内容紹介 | 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。 |
| ＩＳＢＮ(10桁) | 978-4-00-006191-9 |
| 出版年月,頒布年月等 | 2007.6 |
| ページ数等 | 14,256p |
| 大きさ | 22cm |
| NDC9版 | 410.9 |
所蔵情報
| 登録番号 | 所蔵館 | 所蔵場所 | 請求記号 | 資料区分 | 禁帯区分 | 資料状態 | 備考 |
|---|---|---|---|---|---|---|---|
| 32832506 | 風樹文庫 |
一般ｺｰﾅｰ
|
410 2007 | 一般書 |
予約数
0件
しばらくお待ちください。