古本・中古本
送料無料
論理と計算のしくみ/単行本
プレミアム会員とは
この商品の詳細
- 出版社
- 岩波書店
- 出版社シリーズ
- ISBN
- 9784000061919
- サイズ
- 単行本
- 発売年月日
- 2007年06月01日
この商品の紹介
命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
論理と計算のしくみ/単行本
2,690
円(税込)