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

藤田 憲悦 コロナ社スウリパズルデタノシクマナベルロンリガク フジタ ケンエツ 発行年月：2022年03月15日 予約締切日：2022年01月27日 ページ数：200p サイズ：単行本 ISBN：9784339029239 藤田憲悦（フジタケンエツ） 1984年東北大学工学部電子工学科卒業。1986年東北大学大学院博士前期課程修了（電子工学専攻）。1990年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。2004年群馬大学助教授。2007年群馬大学准教授（本データはこの書籍が刊行された当時に掲載されていたものです） 1　準備（言葉づかいについて：集合、順序と同値関係、写像と関数）／2　命題論理（日常的推論と記号化／数理パズルと記号化／命題論理の言語：論理式　ほか）／3　述語論理（数理パズルと述語論理による記号化／述語論理の言語／述語論理の形式的体系　ほか）／4　証明の形式化とラムダ計算（証明図の簡約／証明の記号化・形式化／カリー・ハワード同型） 本 ホビー・スポーツ・美術 囲碁・将棋・クイズ クイズ・パズル 科学・技術 数学

著:藤田憲悦
出版社:コロナ社
発売日:2022年03月
キーワード:すうりぱずるでたのしくまなべるろんりがく スウリパズルデタノシクマナベルロンリガク ふじた けんえつ フジタ ケンエツ