科学技術と共に歩む

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

• 加藤 暢 近大准教授 著
• 高田 司郎 近大教授 著
• 新出 尚之 奈良女子大准教授 著

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