| タイトル | 論理と計算のしくみ |
|---|---|
| タイトルヨミ | ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ |
| タイトル標目(ローマ字形) | Ronri/to/keisan/no/shikumi |
| 著作(漢字形) | 論理と計算のしくみ |
| 著作(カタカナ形) | ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ |
| 著作(ローマ字形) | Ronri/to/keisan/no/shikumi |
| 著作(典拠コード) | 800000433130000 |
| 著者 | 萩谷／昌己‖著 |
| 著者ヨミ | ﾊｷﾞﾔ,ﾏｻﾐ |
| 著者標目(漢字形(西洋人以外の統一形)) | 萩谷／昌己 |
| 著者標目(ローマ字形) | Hagiya,Masami |
| 著者標目(著者紹介) | 東京大学名誉教授。理学博士。専門は計算機科学。 |
| 記述形典拠コード | 110000776560000 |
| 著者標目(統一形典拠コード) | 110000776560000 |
| 著者 | 西崎／真也‖著 |
| 著者ヨミ | ﾆｼｻﾞｷ,ｼﾝﾔ |
| 著者標目(漢字形(西洋人以外の統一形)) | 西崎／真也 |
| 著者標目(ローマ字形) | Nishizaki,Shin'ya |
| 著者標目(著者紹介) | 東京科学大学情報基盤センター教授。博士（理学）。専門は計算機科学。 |
| 記述形典拠コード | 110005032320000 |
| 著者標目(統一形典拠コード) | 110005032320000 |
| 件名標目(漢字形) | 数学基礎論 |
| 件名標目(カタカナ形) | ｽｳｶﾞｸ/ｷｿﾛﾝ |
| 件名標目(ローマ字形) | Sugaku/kisoron |
| 件名標目(典拠コード) | 511035000000000 |
| 出版者 | 岩波書店 |
| 出版者ヨミ | ｲﾜﾅﾐ/ｼｮﾃﾝ |
| 出版者・頒布者等標目(ローマ字形) | Iwanami/Shoten |
| 本体価格 | ¥4100 |
| 内容紹介 | 計算機科学の基盤となっている「論理と計算」に関する基本概念について解説するとともに、両者の間のさまざまな関係を説明。命題論理と述語論理、ゲーデル不完全性定理、ラムダ計算などを取り上げる。章末問題も収録。 |
| ジャンル名 | 自然科学（45） |
| ジャンル名(図書詳細) | 数学（130020000000） |
| ＩＳＢＮ(13桁) | 978-4-00-006194-0 |
| ＩＳＢＮ(10桁) | 978-4-00-006194-0 |
| ISBNに対応する出版年月 | 2026.2 |
| ISBN(13桁)に対応する出版年月 | 2026.2 |
| TRCMARCNo. | 26006984 |
| 出版地,頒布地等 | 東京 |
| 出版地都道府県コード | 東京都（313000） |
| 出版年月,頒布年月等 | 2026.2 |
| 出版者・頒布者等標目(出版年月,頒布年月等(数字)) | 202602 |
| 出版者・頒布者等標目(出版者コード) | 0365 |
| 出版者典拠コード | 310000160850000 |
| ページ数等 | 14,256p |
| 大きさ | 21cm |
| 装丁コード | ソフトカバｰ（10） |
| 刊行形態区分 | 単品（A） |
| NDC9版 | 410.9 |
| ＮＤＣ10版 | 410.9 |
| 図書記号 | ﾊﾛ |
| 図書記号(単一標目指示) | 751A01 |
| 表現種別 | テキスト（A1） |
| 機器種別 | 機器不用（A） |
| キャリア種別 | 冊子（A1） |
| 利用対象 | 大学生および大学院生（O） |
| 賞の名称 | 大川出版賞 |
| 賞の回次(年次) | 第１７回 |
| 『週刊新刊全点案内』号数 | 2444 |
| 特殊な版表示 | 新装版 |
| ストックブックスコード | ストックブックス（SB） |
| テキストの言語 | 日本語（jpn） |
| 出版国コード | 日本国（JP） |
| 索引フラグ | 1 |
| データレベル | 確定（F） |
| 更新レベル | 0 |
| MARC種別 | 新刊流通図書掲載（A） |
| 周辺ファイルの種類 | 目次情報ファイル有（D） |
| 最終更新日付 | 20260220 |
| 一般的処理データ | 20260217 2026 JPN |
| レコード作成機関(国名コード) | JP |
| レコード作成機関(レコード作成機関名) | TRC |
| レコード作成機関(レコード提供年月日) | 20260217 |
| レコード作成機関(目録規則) | NCR2018 |
| レコード作成機関(システムコード) | trcmarc |
| 和洋区分 | 和書（0） |