【送料無料】[本/雑誌]/数理パズルで楽しく学べる論理学/藤田憲悦/著

2,860

販売サイトへ移動
藤田憲悦/著/数理パズルで楽しく学べる論理学、メディア：BOOK、発売日：2022/03、重量：340g、商品コード：NEOBK-2717800、JANコード/ISBNコード：9784339029239
※ご注文前に以下必ずご確認ください※


※書籍商品の購入に関するご注意※

関連人物・出版社
発売日
2022/03
商品説明
収録内容
  1. 1 準備(言葉づかいについて:集合、順序と同値関係、写像と関数)
  2. 2 命題論理(日常的推論と記号化
  3. 数理パズルと記号化
  4. 命題論理の言語:論理式 ほか)
  5. 3 述語論理(数理パズルと述語論理による記号化
  6. 述語論理の言語
  7. 述語論理の形式的体系 ほか)
  8. 4 証明の形式化とラムダ計算(証明図の簡約
  9. 証明の記号化・形式化
  10. カリー・ハワード同型)
販売サイトへ移動