検索結果

「著者:加藤 暢」検索結果

絞り込み

※書籍在庫がない場合でも電子版がある場合があります。電子版ありにチェックをつけてください。

1件中 1件 - 1件
表示順
表示件数
数理論理学 - 合理的エージェントへの応用に向けて -

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

数理論理学の諸概念に初めて接する大学2, 3年生を対象に,命題論理,述語論理,様相論理を,直感的にわかるさまざまな例題を通してできるだけ容易に解説。述語論理については,論理型言語Prologを解説する章を用意した。

  • 関連資料
  • 電子版あり
  • 講義用資料
発行年月日
2014/10/30
定価
3,080(本体2,800円+税)
ISBN
978-4-339-02489-0
在庫あり
1件中 1件 - 1件