論理と計算のしくみ
Author(s)
Bibliographic Information
論理と計算のしくみ
岩波書店, 2007.6
- Title Transcription
-
ロンリ ト ケイサン ノ シクミ
Available at / 182 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
学習の手引き: pvii-x
Description and Table of Contents
Description
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
Table of Contents
- １ 集合と関係（集合；関係）
- ２ 命題論理と述語論理（命題論理；一階述語論理；高階述語論理とその部分体系）
- ３ 様相論理と直観主義論理（命題様相論理；多重様相論理；時相論理；命題直感主義論理）
- ４ 計算可能性（チューリング機械；帰納的関数；不完全性定理；プレスバーガ算術；述語論理の決定不能性と決定可能な部分体系）
- ５ λ計算（λ項；簡約；型付きλ計算）
by "BOOK database"
