数理論理学 サポートページ

書籍に関する情報

• 著者：加藤 暢・高田司郎・新出尚之

• 出版社：コロナ社 (出版社の本書のページ)

• 出版年：2014年

• 判型：A5

• ページ数：224ページ

• ISBN：978-4-339-02489-0

• 定価：3024円(2800円+税)

サポート情報

この書の概要と本書を活用いただくための情報をまとめました．

• 概要：特長と各章の概要です

  • 特長

    • 数理論理学に初めて接する大学2,3年生を対象に、知的エージェントの意思決定機構の基礎をなす命題論理、述語論理、様相論理を、多数の例題を用いて平易に解説。論理型言語Prologの体験を通じ、自動推論のしくみが容易に理解できる。

  • 目次

    • 1. 集合　2. 命題論理　3. 述語論理　4. 導出原理　5. 様相論理　6. 合理的エージェント　7. Prolog

• 正誤表

  • 第1刷

• 講義資料

  • 3, 4, 7章と2.4節に関する講義資料(パワーポイント版，PDF版)

    • Prologプログラミング1(本書7.2,7.3節資料)(pptx)(pdf)

    • 述語論理の構文論(本書3.1節資料)(pptx)(pdf)

    • Prologプログラミング2(本書7.4,7.5節資料)(pptx)(pdf)

    • 述語論理の意味論(本書3.2節資料)(pptx)(pdf)

    • Prologプログラミング3(本書7.6節資料)(pptx)(pdf)

    • 恒真、充足可能、充足不能、モデル(本書3.2.3項資料)(pptx)(pdf)

    • Prologプログラミング4(本書7.6節資料)(pptx)(pdf)

    • 論理式の等価性(本書3.3節資料)(pptx)(pdf)

    • 論理式の標準形(本書4.1節資料)(pptx)(pdf)

    • 節集合(本書4.1.4項)とPrologプログラミング5(本書7.7節)(pptx)(pdf)

    • 単一化アルゴリズム(本書4.2.2項資料)(pptx)(pdf)

    • 導出原理(本書4.2.3項資料)(pptx)(pdf)

    • エルブランの定理(本書4.3節資料)(pptx)(pdf)

    • タブローの方法(本書2.4節資料)(pptx)(pdf)

• 5, 6章に関する講義資料(準備中)(パワーポイント，図，ソースファイル，および，サンプルコード)

• 参考資料

  • 命題信念様相論理の完全性について(本書5.5節参考資料)