資料詳細

  • 1 件中、 1 件目

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

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
閲覧室 /410.9/ﾊ/ 115955494 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ