論理と計算のしくみ

計算機科学の基礎概念がわかる最適の教科書

論理と計算のしくみ
著者 萩谷 昌己 , 西崎 真也
ジャンル 書籍 > 岩波オンデマンドブックス
日本十進分類 > 自然科学
刊行日 2017/02/10
ISBN 9784007305801
Cコード 3055
体裁 A5 ・ 並製 ・ 270頁
定価 4,510円
在庫 オンデマンド制作

※この書籍はオンデマンド出版です。ご注文を頂いてからの製作となるため、お届けまで2~4週間程かかります。ご了承ください。

命題論理・述語論理や様相論理など形式論理の基礎を学んだあと,ゲーデル不完全性定理を通して「計算」の意味を理解する.さらに計算モデルの典型であるラムダ計算について学習し,論理と計算をつなぐ「仕組み」を理解する.

ページトップへ戻る