論理と計算のしくみ/萩谷昌己/西崎真也
販売価格
4,510
円 (税込)
送料無料
- 出荷目安:
- 1~3日で発送予定
たまるdポイント(通常) 41
※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
萩谷昌己西崎真也
岩波書店
ISBN:4000061941/9784000061940
発売日:2026年02月
※商品画像はイメージや仮デザインが含まれている場合があります。帯の有無など実際と異なる場合があります。
【内容紹介】
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
岩波書店
ISBN:4000061941/9784000061940
発売日:2026年02月
※商品画像はイメージや仮デザインが含まれている場合があります。帯の有無など実際と異なる場合があります。
【内容紹介】
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
※本データはこの商品が発売された時点の情報です。









