資料詳細

  • 1 件中、 1 件目

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

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

タグ

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
一般資料 410.9 /ﾊｷ/ 00109876612 図書 貸出可 利用可 iLisvirtual

ページの先頭へ

資料詳細

マーク種別 JPマーク
マーク番号 21264378
書名 論理と計算のしくみ
書名ヨミ ﾛﾝﾘﾄ ｹｲｻﾝﾉ ｼｸﾐ
著者名 萩谷昌己 ／著, 西崎真也 ／著  
著者名ヨミ ﾊｷﾞﾔ ﾏｻﾐ , ﾆｼｻﾞｷ ｼﾝﾔ  
出版地 東京
出版者 岩波書店
出版年 2007.6
頁数・図版 ２５６ｐ
大きさ ２２ｃｍ
一般注記 索引あり
ISBN 4-00-006191-7 国立国会図書館 カーリル GoogleBooks
ISBN(新) 978-4-00-006191-9
本体価格 ３４００円
NDC分類(8版) 410.9
NDC分類(9版) 410.9
件名 数学基礎論
内容紹介 命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。
著者紹介 【萩谷】１９５７年生まれ。８０年東京大学理学部卒。現在、東京大学大学院情報理工学研究科教授。専門は計算機科学。

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。