数理論理学

加藤暢(著者), 高田司郎(著者), 新出尚之(著者)

• 販売会社／発売会社: コロナ社
• 発売年月日: 2014/10/01
• JAN: 9784339024890

商品レビュー

2016/09/07

ロボットなどで必要になるであろう知的エージェント技術の基礎となる、推論のメカニズムの本質としての数理論理学についての紹介を目的とした教科書。推論・証明に使われるのは、プログラム化への応用を考えてロビンソンの導出原理。タブローの方法についての紹介はあるが、自然演繹についての説明はない。様相論理、時相論理についてもけっこうきちんとした解説が載っている。
実務的に論理学の知識を得たい人にとっては読むのが面倒な、各種定理自体の証明は必要最小限で、ほぼ省略されているのも珍しくない。定理やその使用については必ず例題がついているのは親切。