数理パズルで楽しく学べる論理学
2,860
著者：藤田 憲悦【著】
出版社：コロナ社
出版社：コロナ社
商品説明
目次
１ 準備（言葉づかいについて：集合、順序と同値関係、写像と関数）
２ 命題論理（日常的推論と記号化；数理パズルと記号化；命題論理の言語：論理式 ほか）
３ 述語論理（数理パズルと述語論理による記号化；述語論理の言語；述語論理の形式的体系 ほか）
４ 証明の形式化とラムダ計算（証明図の簡約；証明の記号化・形式化；カリー・ハワード同型）
著者等紹介
藤田憲悦［フジタケンエツ］
１９８４年東北大学工学部電子工学科卒業。１９８６年東北大学大学院博士前期課程修了（電子工学専攻）。１９９０年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。２００４年群馬大学助教授。２００７年群馬大学准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
【ご確認ください】
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。
■ご注文確定時に在庫切れの場合もございます。
ご注文時の在庫先によっては4日以上（〜7日）かかる場合もございます。 当ストアではお取り寄せのご対応を行っておりません。
■ご予約品と既刊商品はカート・ご注文番号が分かれます。
ひとつのご注文番号におまとめすることはできません。
※ご予約品のうち、発売日が同じ商品のみひとつのカート・ご注文番号でご注文可能です。
※送料はご注文番号ごとに計算されます。
■ギフトなどのためにお届け先を別住所に登録されましても、金額入りの明細書は商品に同梱されます。当ストアでは一切のギフト対応を行っておりません。
■ご注文・お問い合わせの前に「お買い物ガイド」「ご注意点」をよくお読みください。
■お届け日のご指定は承っておりません。
■「帯」はお付けできない場合がございます。