計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ [単行本]

販売休止中です

    • 計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ [単行本]

    • ¥4,805145 ゴールドポイント(3%還元)
100000009002577781

計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ [単行本]

価格:¥4,805(税込)
ゴールドポイント:145 ゴールドポイント(3%還元)(¥145相当)
日本全国配達料金無料
出版社:啓学出版
販売開始日: 1992/12/30
お取り扱い: のお取り扱い商品です。
ご確認事項:返品不可

計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ の 商品概要

  • 要旨(「BOOK」データベースより)

    本書では、コンピュータサイドからの入門として、計算論理学の最小限のテクニックを示すとともに、それが現在のAIとコンピュータサイエンスにおける問題の解決にどのように応用されているのかについて詳しく解説する。各章末には、今後の発展の可能性を示唆する研究テーマを付した。
  • 目次(「BOOK」データベースより)

    論理の基礎
    論理プログラミング
    様相論理
    自然言語意味論
    非単調推論
    構成的論理
    多値論理
    その他の論理

計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ の商品スペック

商品仕様
出版社名:啓学出版
著者名:赤間 世紀(著)
発行年月日:1992/12/30
ISBN-10:476651159X
ISBN-13:9784766511598
判型:A5
対象:専門
発行形態:単行本
内容:電子通信
ページ数:319ページ
縦:22cm
他の啓学出版の書籍を探す

    啓学出版 計算論理学入門―AIとコンピュータサイエンスへの論理的アプローチ [単行本] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!