内容紹介：論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「しくみ」を理解する。
もくじ情報：１　集合と関係（集合；関係）；２　命題論理と述語論理（命題論理；一階述語論理；高階述語論理とその部分体系）；３　様相論理と直観主義論理（命題様相論理；多重様相論理；時相論理；命題直観主義論理）；４　計算可能性（チューリング機械；帰納的関数；不完全性定理；プレスバーガ算術；述語論理の決定不能性と決定可能な部分体系）；５　λ計算（λ項；簡約；型付きλ計算）；章末問題解答

萩谷　昌己(ハギヤ　マサミ)
１９５７年生まれ。１９８０年東京大学理学部情報科学科卒。東京大学大学院情報理工学系研究科教授を経て、東京大学名誉教授。理学博士。専門は、計算機科学