山田 講師の新刊図書を紹介します
情報工学科 山田 俊行 講師 新刊図書を紹介します。
「はじめての数理論理学 －証明を作りながら学ぶ記号論理の考え方－」
単著／山田 俊行 （工学）博士
発行／森北出版
ISBN／978-4627078017
発売／2018年８月
出版社推薦文：
類書の中で最も平易なテキスト。例題と演習問題を豊富に掲載しています。また、「証明すべき主張を記号に落とし込む→記号操作で証明をつくる」という章立てになっており、記号論理の考え方が自然に身につくように工夫されています。
情報工学科「数理論理学」の講義を受けていた学生から：
・山田先生が担当されている講義はどれも、受講学生の満足度が高いです。
・山田先生の講義は、説明が分かりやすくて、スーッと頭に入ってきました。
・講義には毎回確認問題があって復習ができるし、解答の解説をしてくれることで、より理解が深まりました。
・先生自身がすごく読書家で、研究関連の話題は幅広くて豊富です。
・講義資料がとても見やすいです。