| タイトル | 論理と計算のしくみ |
|---|---|
| タイトルヨミ | ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ |
| タイトル標目(ローマ字形) | Ronri/to/keisan/no/shikumi |
| 著者 | 萩谷／昌己‖著 |
| 著者ヨミ | ﾊｷﾞﾔ,ﾏｻﾐ |
| 著者標目(漢字形(西洋人以外の統一形)) | 萩谷／昌己 |
| 著者標目(ローマ字形) | Hagiya,Masami |
| 著者標目(著者紹介) | 東京大学大学院情報理工学研究科教授。専門は計算機科学。 |
| 記述形典拠コード | 110000776560000 |
| 著者標目(統一形典拠コード) | 110000776560000 |
| 著者 | 西崎／真也‖著 |
| 著者ヨミ | ﾆｼｻﾞｷ,ｼﾝﾔ |
| 著者標目(漢字形(西洋人以外の統一形)) | 西崎／真也 |
| 著者標目(ローマ字形) | Nishizaki,Shin'ya |
| 著者標目(著者紹介) | 東京工業大学大学院情報理工学研究科准教授。専門は計算機科学。 |
| 記述形典拠コード | 110005032320000 |
| 著者標目(統一形典拠コード) | 110005032320000 |
| 件名標目(漢字形) | 数学基礎論 |
| 件名標目(カタカナ形) | ｽｳｶﾞｸ/ｷｿﾛﾝ |
| 件名標目(ローマ字形) | Sugaku/kisoron |
| 件名標目(典拠コード) | 511035000000000 |
| 出版者 | 岩波書店 |
| 出版者ヨミ | ｲﾜﾅﾐ/ｼｮﾃﾝ |
| 出版者・頒布者等標目(ローマ字形) | Iwanami/Shoten |
| 本体価格 | ¥3400 |
| 内容紹介 | 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。 |
| ジャンル名 | 45 |
| ＩＳＢＮ(13桁) | 978-4-00-006191-9 |
| ＩＳＢＮ(10桁) | 978-4-00-006191-9 |
| ISBN(13桁)に対応する出版年月 | 2007.6 |
| ISBNに対応する出版年月 | 2007.6 |
| TRCMARCNo. | 07034096 |
| Gコード | 31913180 |
| 出版地,頒布地等 | 東京 |
| 出版年月,頒布年月等 | 2007.6 |
| 出版者・頒布者等標目(出版年月,頒布年月等(数字)) | 200706 |
| 出版者・頒布者等標目(出版者コード) | 0365 |
| 出版者典拠コード | 310000160850000 |
| ページ数等 | 14,256p |
| 大きさ | 22cm |
| 刊行形態区分 | A |
| NDC8版 | 410.9 |
| NDC9版 | 410.9 |
| 図書記号 | ﾊﾛ |
| 図書記号(単一標目指示) | 751A01 |
| 利用対象 | L |
| 賞の名称 | 大川出版賞 |
| 賞の回次(年次) | 第１７回 |
| 『週刊新刊全点案内』号数 | 1528 |
| ストックブックスコード | SB |
| テキストの言語 | jpn |
| 出版国コード | JP |
| 索引フラグ | 1 |
| データレベル | F |
| 更新レベル | 0002 |
| MARC種別 | A |
| 最終更新日付 | 20090807 |
| 一般的処理データ | 20070702 2007 JPN |
| レコード作成機関(国名コード) | JP |
| レコード作成機関(レコード作成機関名) | TRC |
| レコード作成機関(レコード提供年月日) | 20070702 |
| レコード作成機関(目録規則) | NCR1987 |
| レコード作成機関(システムコード) | trcmarc |
| 和洋区分 | 0 |