3/22
時点_ポイント最大11倍
論理と計算のしくみ 新装版 /萩谷昌己 西崎真也
販売価格
4,510
円 (税込)
送料無料
- 出荷目安:
- 1~2営業日で出荷
たまるdポイント(通常) 41
+キャンペーンポイント(期間・用途限定) 最大10倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名:萩谷昌己、西崎真也
出版社名:岩波書店
発行年月:2026年02月
判型:A5
ISBN:9784000061940
≪内容情報≫
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
著者名:萩谷昌己、西崎真也
出版社名:岩波書店
発行年月:2026年02月
判型:A5
ISBN:9784000061940
≪内容情報≫
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。

