資料詳細

【図書】 数理論理学

合理的エージェントへの応用に向けて --
加藤暢／共著, 高田司郎／共著, 新出尚之／共著 -- コロナ社 -- ２０１４．１０ -- ２１ｃｍ -- ２１０ｐ

タイトル	数理論理学
副書名	合理的エージェントへの応用に向けて
著者名等	加藤暢／共著, 高田司郎／共著, 新出尚之／共著
出版	コロナ社２０１４．１０
大きさ等	２１ｃｍ２１０ｐ
分類	410.96
件名	記号論理学
注記	並列タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　ｆｏｒ　Ｒａｔｉｏｎａｌ　Ａｇｅｎｔｓ
注記	文献あり　索引あり
著者紹介	【加藤】１９９１年岡山大学工学部卒。９３年岡山大学大学院工学研究科修士課程修了。９７年岡山大学大学院自然科学研究科博士課程修了。９８年日本学術振興会特別研究員。２０００年近畿大学講師。０４年近畿大学准教授、現在に至る。
内容紹介	数理論理学の諸概念に初めて接する大学２、３年生を対象に、命題論理、述語論理、様相論理を、様々な例題を通してできるだけ容易に解説。述語論理については、論理型言語Ｐｒｏｌｏｇを解説する章を用意した。
ISBN(13)、ISBN	978-4-339-02489-0　　 4-339-02489-9
書誌番号	1113204160

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/235	一般書	利用可	-	2053282159