|
【オンデマンド版】論理と計算のしくみ(岩波オンデマンドブックス)
萩谷 昌己,
西崎 真也
著
発行年月 |
2017年02月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
280p |
|---|
|
|
ジャンル |
和書 |
|---|
|
|
ISBN |
9784007305801 |
|---|
|
商品コード |
1023910037 |
|---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1023910037 |
|---|
内容
命題論理・述語論理や様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。
