科学技術と共に歩む

数理パズルで楽しく学べる論理学

• 藤田 憲悦 群馬大准教授 著

スマリヤンのパズルなど親しみやすい日常的推論の例を多数掲載。論理の構文論的側面と意味論的側面の違いおよびその関係性への理解を深めることで，物事の本質をつかみ記号化する力，論理的に証明する力を身につけることを目指す。

リスク工学シリーズ 5

あいまいさの数理

• 遠藤 靖典 筑波大教授 著

科学の対象となるあいまいさには，言葉の表現によるものと現象の生起によるものとがある。前者は論理，後者は確率により体系化されてきた。本書では，それらの理論について，歴史的経緯を踏まえながらわかりやすく概説する。

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

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

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

コンピュータサイエンス教科書シリーズ 18

数理論理学

• 古川 康一 慶大名誉教授 著
• 向井 国昭 慶大教授 著

本書は，特に，実世界の問題を論理によって表現し，問題解決を行う能力を身に付けることを目指している。そのためには，問題の抽象化，形式化が必要である。実際に問題の形式化の能力を養うため，多くの問題を用意した。

計算論理に基づく 推論ソフトウェア論

• 山崎 進 岡山大大学院教授 著

知識と推論は，人工知能と計算機構の接点となる研究対象の一つである｡本書では，推論に焦点を当てて，論理プログラミングの体系として，演繹推論，否定命題を扱う系の意味論，説明推論に関する従来の結果と新たな視点をまとめた。

コンピュータ数学シリーズ 3

数理論理学

• 林 晋 京大大学院教授 著

計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。必要な数学的概念の解説や，例などによる直観的な説明によって予備知識のない初学者から利用できる。