相模原市の図書館

  1. トップへ
  2. 資料検索
  3. 蔵書検索・予約
  4. 資料詳細

ログインしていません

蔵書検索・予約

ハイライト：ONOFF

書名　：論理と計算のしくみ　
著者　：萩谷　昌己
出版者：岩波書店
出版年：2007年
分類：410.96
形態：図書
◎本のあらすじ
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
◎目次
１　集合と関係（集合
関係）
２　命題論理と述語論理（命題論理
一階述語論理
高階述語論理とその部分体系）
３　様相論理と直観主義論理（命題様相論理
多重様相論理
時相論理
命題直感主義論理）
４　計算可能性（チューリング機械
帰納的関数
不完全性定理
プレスバーガ算術
述語論理の決定不能性と決定可能な部分体系）
５　λ計算（λ項
簡約
型付きλ計算）
◎著者紹介
萩谷 昌己
１９５７年生まれ。１９８０年東京大学理学部情報科学科卒。東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)
西崎 真也
１９６７年生まれ。１９９４年京都大学大学院理学研究科博士課程修了。東京工業大学大学院情報理工学研究科准教授。理学博士。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)
※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵

所蔵件数は1件です。

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

No.所在場所置き場所分類図書記号巻冊記号資料コード形態状態禁帯
1橋本図書館開架410.96 25788621図書在架

詳細情報

名称書誌情報
書名 ﾛﾝﾘ ﾄ ｹｲｻﾝ ﾉ ｼｸﾐ
論理と計算のしくみ
著者名１ ﾊｷﾞﾔ ﾏｻﾐ
萩谷　昌己／著
著者名２ ﾆｼｻﾞｷ ｼﾝﾔ
西崎　真也／著
出版者 ｲﾜﾅﾐｼﾖﾃﾝ
岩波書店
出版年 2007
ページ 256P
サイズ 22
ＩＳＢＮ 978-4-00-006191-9　(4-00-006191-7)
価格 0003400
内容紹介 論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
件名 記号論理学

関連資料

この資料を見た人は、こんな資料も見ています。

詳細：表示非表示

サイトマップ