論理と計算のしくみ
計算機科学の基礎概念がわかる最適の教科書
命題論理・述語論理や様相論理など形式論理の基礎を学んだあと,ゲーデル不完全性定理を通して「計算」の意味を理解する.さらに計算モデルの典型であるラムダ計算について学習し,論理と計算をつなぐ「仕組み」を理解する.
計算機科学の基礎概念がわかる最適の教科書
命題論理・述語論理や様相論理など形式論理の基礎を学んだあと,ゲーデル不完全性定理を通して「計算」の意味を理解する.さらに計算モデルの典型であるラムダ計算について学習し,論理と計算をつなぐ「仕組み」を理解する.
4,510 円
【岩波オンデマンドブックスご購入の注意】