![数理論理学 コンピュータサイエンス教科書シリーズ18](https://content.bookoff.co.jp/goodsimages/LL/001590/0015907437LL.jpg)
![](https://content.bookoff.co.jp/assets/images/banner/campaign/limited/blank-750-120.png)
商品詳細
内容紹介 | |
---|---|
販売会社/発売会社 | コロナ社 |
発売年月日 | 2008/06/27 |
JAN | 9784339027181 |
- 書籍
- 書籍
数理論理学
商品が入荷した店舗:店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
数理論理学
¥3,080
在庫あり
商品レビュー
5
1件のお客様レビュー
ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の...
ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の教科書。
Posted by