くわしいないよう
ぞうしょ
| ばんごう | かん | ばしょ | きごう | しりょうくぶん | 禁帯 | しりょうじょうたい | びこう |
|---|---|---|---|---|---|---|---|
| 32844139 | 風樹文庫 | 一般ｺｰﾅｰ | 410 2026 | 一般書 |
よやくのかず
0件
きほんじょうほう
| タイトル | 論理と計算のしくみ |
|---|---|
| タイトルヨミ | ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ |
| 著者 | 萩谷／昌己‖著 |
| 著者ヨミ | ﾊｷﾞﾔ,ﾏｻﾐ |
| 著者 | 西崎／真也‖著 |
| 著者ヨミ | ﾆｼｻﾞｷ,ｼﾝﾔ |
| 出版者 | 岩波書店 |
| 出版者ヨミ | ｲﾜﾅﾐ/ｼｮﾃﾝ |
| 本体価格 | ¥4100 |
| 内容紹介 | 計算機科学の基盤となっている「論理と計算」に関する基本概念について解説するとともに、両者の間のさまざまな関係を説明。命題論理と述語論理、ゲーデル不完全性定理、ラムダ計算などを取り上げる。章末問題も収録。 |
| ＩＳＢＮ(10桁) | 978-4-00-006194-0 |
| 出版年月,頒布年月等 | 2026.2 |
| ページ数等 | 14,256p |
| 大きさ | 21cm |
| NDC9版 | 410.9 |
| ＮＤＣ10版 | 410.9 |
かいたいひと
|
＜萩谷／昌己‖著＞
東京大学名誉教授。理学博士。専門は計算機科学。
|
|
＜西崎／真也‖著＞
東京科学大学情報基盤センター教授。博士（理学）。専門は計算機科学。
|