商品詳細 | Knowledge Worker

論理と計算のしくみ　

絶版
価格 \3,960（税込）

発行年月	2007年06月
出版社／提供元	岩波書店
言語	日本語
媒体	冊子
ページ数／巻数	２５６ｐ
大きさ	22
ジャンル	和書
ISBN	9784000061919
商品コード	0107046826
NDC分類	410.9
基本件名	数学基礎論
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0107046826

著者紹介

萩谷　昌己（著者）：〈萩谷昌己〉東京大学大学院情報理工学研究科教授。専門は計算機科学。
西崎　真也（著者）：〈西崎真也〉東京工業大学大学院情報理工学研究科准教授。専門は計算機科学。

内容

命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。

カート

カートに商品は入っていません。