情報数学講座 〈第１０巻〉 知識と推論 森下真一

個数：
  • ポイントキャンペーン

情報数学講座 〈第１０巻〉 知識と推論 森下真一

  • 森下 真一【著】
  • 価格 ¥3,300（本体¥3,000）
  • 共立出版（1994/01発売）
  • ゴールデンウィーク ポイント2倍キャンペーン対象商品(5/6まで)
  • ポイント 60pt
  • 出版社からのお取り寄せとなります。
    入荷までにおよそ1～3週間程度かかります。
    ※商品によっては、品切れ等で入手できない場合がございます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷までの期間】
    ■通常、およそ1～3週間程度

    【ご注意事項】 ※必ずお読みください
    ◆上記期間よりも日数がかかる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆品切れ・絶版等により入手できない場合がございます。
    ◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ◆店舗受取サービスはご利用いただけません。

  • サイズ A5判／ページ数 205p／高さ 22cm
  • 商品コード 9784320026605
  • NDC分類 007.1
  • Cコード C3341

出版社内容情報

【解説】
 

【目次】
論理に基づく知識の表現と推論・一階述語論理（言語・モデル論・証明論他）・論理プログラム（ボトムアップ手続き・トップダウン手続き他）・否定を含む論理プログラムによる非単調推論（層状論理プログラム他）

目次

第１章　論理に基づく知識の表現と推論
第２章　一階述語論理
第３章　論理プログラム
第４章　否定を含む論理プログラムによる非単調推論