サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料(~2/28)

全品ポイント3倍(0301-31)

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 件を表示