商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | コロナ社 |
| 発売年月日 | 2008/06/27 |
| JAN | 9784339027181 |
- 書籍
- 書籍
数理論理学
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
数理論理学
¥3,080
在庫あり
商品レビュー
5
1件のお客様レビュー
ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の...
ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の教科書。
Posted by 
関連ワードから探す
お手持ちのスマホで確認する
お手持ちのスマホでスキャン
お近くのスタッフに、表示されたスマホ画面を
みせていただければ商品をお探しいたします。
ブックオフナビをご利用いただき ありがとうございます
お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。
※画面に表示されている価格はお取り寄せ時の価格となります。