タイトル | 論理と計算のしくみ |
---|---|
タイトルヨミ | ロンリ/ト/ケイサン/ノ/シクミ |
著者 | 萩谷/昌己‖著 |
著者ヨミ | ハギヤ,マサミ |
著者標目(著者紹介) | 東京大学大学院情報理工学研究科教授。専門は計算機科学。 |
著者 | 西崎/真也‖著 |
著者ヨミ | ニシザキ,シンヤ |
著者標目(著者紹介) | 東京工業大学大学院情報理工学研究科准教授。専門は計算機科学。 |
出版者 | 岩波書店 |
出版者ヨミ | イワナミ/ショテン |
本体価格 | ¥3400 |
内容紹介 | 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。 |
ISBN(10桁) | 978-4-00-006191-9 |
出版年月,頒布年月等 | 2007.6 |
ページ数等 | 14,256p |
大きさ | 22cm |
NDC9版 | 410.9 |
ばんごう | かん | ばしょ | きごう | しりょうくぶん | 禁帯 | しりょうじょうたい | びこう |
---|---|---|---|---|---|---|---|
32832506 | 風樹文庫 |
一般コーナー
|
410 2007 | 一般書 |