論理と計算のしくみ/萩谷昌己/西崎真也

著者名:萩谷昌己  西崎真也 
出版社名:岩波書店

---

論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「しくみ」を理解する。

※本データはこの商品が発売された時点の情報です。