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

藤田 憲悦【著】

コロナ社（2022/03発売）

• サイズ A5判／ページ数 188p／高さ 21cm
• 商品コード 9784339029239
• NDC分類 410.9
• Cコード C3055

目次

１　準備（言葉づかいについて：集合、順序と同値関係、写像と関数）
２　命題論理（日常的推論と記号化；数理パズルと記号化；命題論理の言語：論理式　ほか）
３　述語論理（数理パズルと述語論理による記号化；述語論理の言語；述語論理の形式的体系　ほか）
４　証明の形式化とラムダ計算（証明図の簡約；証明の記号化・形式化；カリー・ハワード同型）

著者等紹介

藤田憲悦［フジタケンエツ］
１９８４年東北大学工学部電子工学科卒業。１９８６年東北大学大学院博士前期課程修了（電子工学専攻）。１９９０年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。２００４年群馬大学助教授。２００７年群馬大学准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[株式会社 コロナ社]

モニタレビューあり https://www.coronasha.co.jp/np/isbn/9784339029239/ 導入は簡潔な用語の定義から始まり、読み進める途中で用語がわからなくなっても、すぐに読み返して確認できるようになっているのが大変ありがたい。～ 全編を通して、数式ばかりでなく言葉での解説も丁寧であるため、数学に馴染みがなくとも読みやすい。また、図や表による補足の説明も随所にあるため、視覚的に理解が深まる。

2022/03/17