サイト内検索

詳細検索

送料無料(~12/31)

[CPあり]2016年年間ランキング【ランキングTOP】(~12/14)

hontoレビュー

予約購入について
  • 「予約購入する」をクリックすると予約が完了します。
  • ご予約いただいた商品は発売日にダウンロード可能となります。
  • ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
  • 商品の発売日は変更となる可能性がございますので、予めご了承ください。

みんなのレビュー1件

みんなの評価5.0

評価内訳

  • 星 5 (1件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)
1 件中 1 件~ 1 件を表示

2016/09/07 19:33

投稿元:ブクログ

ロボットなどで必要になるであろう知的エージェント技術の基礎となる、推論のメカニズムの本質としての数理論理学についての紹介を目的とした教科書。推論・証明に使われるのは、プログラム化への応用を考えてロビンソンの導出原理。タブローの方法についての紹介はあるが、自然演繹についての説明はない。様相論理、時相論理についてもけっこうきちんとした解説が載っている。
実務的に論理学の知識を得たい人にとっては読むのが面倒な、各種定理自体の証明は必要最小限で、ほぼ省略されているのも珍しくない。定理やその使用については必ず例題がついているのは親切。

1 件中 1 件~ 1 件を表示