この商品をご覧のお客様は、こんな商品もチェックしています。
- 論理と計算のしくみ 新装版
-
価格：4,510円（本体4,100円＋税）
【2026年02月発売】
- 意思決定の数理
-
価格：3,960円（本体3,600円＋税）
【2017年10月発売】
- 数理計画法入門
-
価格：2,860円（本体2,600円＋税）
【2014年11月発売】
- わかりやすい数理計画法
-
価格：2,420円（本体2,200円＋税）
【2010年03月発売】
- 経済数学の羅針盤
-
価格：2,970円（本体2,700円＋税）
【2024年11月発売】
のマークが目印です。
[BOOKデータベースより]
論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。
１ 集合と関係（集合；関係）
[日販商品データベースより]２ 命題論理と述語論理（命題論理；一階述語論理；高階述語論理とその部分体系）
３ 様相論理と直観主義論理（命題様相論理；多重様相論理；時相論理；命題直感主義論理）
４ 計算可能性（チューリング機械；帰納的関数；不完全性定理；プレスバーガ算術；述語論理の決定不能性と決定可能な部分体系）
５ λ計算（λ項；簡約；型付きλ計算）
命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。