資料詳細

論理と計算のしくみ貸出可

萩谷昌己／著 -- 岩波書店 -- 2007.6 -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	410.9/2007/	00012061750	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	論理と計算のしくみ ,
書名ヨミ	ロンリ　ト　ケイサン　ノ　シクミ
著者	萩谷昌己／著, 西崎真也／著
著者名ヨミ	ハギヤ,マサミ , ニシザキ,シンヤ
出版者	岩波書店
出版年	2007.6
ページ数, 大きさ	14,256p, 22cm
NDC１０版	410.9
NDC８版	410.9
一般件名	数学基礎論
ISBN	978-4-00-006191-9
著者紹介	東京大学大学院情報理工学研究科教授。専門は計算機科学。
内容紹介	命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。

ページの先頭へ