関連資料

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

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

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

発行年月日
2014/10/30
定価
3,080(本体2,800円+税)
ISBN
978-4-339-02489-0
在庫僅少

関連資料(一般)

  • サポートページ 本書を教科書に使った講義資料,参考資料,正誤表などがご覧いただけます。

関連資料(採用者向け)