資料詳細

  • 1 件中、 1 件目

【図書】 論理と計算のしくみ

萩谷昌己 ／著, 西崎真也 ／著   -- 岩波書店 -- ２００７．６ -- ２２ｃｍ -- ２５６ｐ

資料詳細

タイトル 論理と計算のしくみ
著者名等 萩谷昌己 ／著, 西崎真也 ／著  
出版 岩波書店 ２００７．６
大きさ等 ２２ｃｍ ２５６ｐ
分類 410.9
件名 数学基礎論
注記 索引あり
著者紹介 【萩谷】１９５７年生まれ。８０年東京大学理学部卒。現在、東京大学大学院情報理工学研究科教授。専門は計算機科学。
内容紹介 命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。
要旨 論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
目次 １　集合と関係（集合；関係）；２　命題論理と述語論理（命題論理；一階述語論理；高階述語論理とその部分体系）；３　様相論理と直観主義論理（命題様相論理；多重様相論理；時相論理；命題直感主義論理）；４　計算可能性（チューリング機械；帰納的関数；不完全性定理；プレスバーガ算術；述語論理の決定不能性と決定可能な部分体系）；５　λ計算（λ項；簡約；型付きλ計算）
ISBN(13)、ISBN 978-4-00-006191-9　　 4-00-006191-7
書誌番号 1107048196
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1107048196

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 410.9 一般書 予約準備中 - 2038858788 iLisvirtual

ページの先頭へ