トップページ

じょうほう

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

しょぞう

ばんごう かん ばしょ きごう しりょうくぶん 禁帯 しりょうじょうたい びこう
32832506 風樹文庫
一般コーナー
410 2007 一般書
よやくのかず 0件
+注意点
  • このしようは、よやくできません。