サイト内検索

詳細検索

送料無料(~12/31)

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

  1. hontoトップ
  2. 本の通販ストア
  3. コンピュータ・IT・情報科学
  4. 数理論理学 合理的エージェントへの応用に向けて

電子書籍化お知らせメール

商品が電子書籍化すると、メールでお知らせする機能です。
「メールを登録する」ボタンを押して登録完了です。
キャンセルをご希望の場合は、同じ場所から「メール登録を解除する」を押してください。

電子書籍化したら知らせてほしい

電子書籍化お知らせメールサンプル

数理論理学 合理的エージェントへの応用に向けて
  • みんなの評価 5つ星のうち 5 1件
  • あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×

新刊お知らせメール登録

この著者の新着情報

一覧を見る

  • カテゴリ:大学生・院生
  • 取扱開始日:2014/10/07
  • 出版社: コロナ社
  • サイズ:21cm/210p
  • 利用対象:大学生・院生
  • ISBN:978-4-339-02489-0
  • 国内送料無料
専門書

紙の本

数理論理学 合理的エージェントへの応用に向けて

著者 加藤 暢 (共著),高田 司郎 (共著),新出 尚之 (共著)

数理論理学の初学者に向けて、命題論理、述語論理、様相論理を容易に解説。Prologプログラミング学習を併用し、演習問題も収録する。資料などをダウンロードできるURL付き。...

もっと見る

数理論理学 合理的エージェントへの応用に向けて

3,024(税込)

ポイント :28pt

紙の本をカートに入れる

電子書籍化お知らせメール

電子書籍化お知らせメールサンプル

電子書籍化お知らせメールヘルプ

メールを登録する

本の通販ストア全商品対象!1,000円以上のご注文で、3%OFFクーポンプレゼント

こちらは「本の通販ストア全商品対象!1,000円以上のご注文で、3%OFFクーポンプレゼント」の対象商品です。
※キャンペーンの適用にはエントリーが必要です。

キャンペーン期間:2016年12月2日(金)~2016年12月8日(木)23:59

このセットに含まれる商品

前へ戻る

  • 対象はありません

次に進む

商品説明

数理論理学の初学者に向けて、命題論理、述語論理、様相論理を容易に解説。Prologプログラミング学習を併用し、演習問題も収録する。資料などをダウンロードできるURL付き。【「TRC MARC」の商品解説】

目次

  • 1.集合
    • 1.1 集合の表し方
    • 1.2 集合の要素や集合間の関係
  • 2.命題論理
    • 2.1 命題論理の構文論
    • 2.2 命題論理の意味論
    • 2.3 命題論理の論理式の等価性
    • 2.4 タブローの方法
    • 2.5 命題論理の公理と推論規則
    • 演習問題

著者紹介

加藤 暢

略歴
〈加藤暢〉近畿大学准教授。博士(工学)。
〈高田司郎〉近畿大学准教授。博士(工学)。

関連キーワード

この著者・アーティストの他の商品

前へ戻る

  • 対象はありません

次に進む

みんなのレビュー1件

みんなの評価5.0

評価内訳

  • 星 5 (1件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)

2016/09/07 19:33

投稿元:ブクログ

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

情報理論・情報科学 ランキング

情報理論・情報科学のランキングをご紹介します一覧を見る

前へ戻る

次に進む