資料詳細

  • 1 件中、 1 件目

論理と計算のしくみ 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 Map 11 /410.9/ﾊｷ/920321 1109203214 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 論理と計算のしくみ
著者 萩谷 昌己 ／著, 西崎 真也 ／著  
出版地 東京
出版者 岩波書店
出版年 2007.6
ページ数 14,256p
大きさ 22cm
一般件名 数学基礎論
内容紹介 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
ISBN13桁 978-4-00-006191-9 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 410.9

ページの先頭へ