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

著者

• 藤田, 憲悦 フジタ, ケンエツ

書誌事項

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

藤田憲悦著

コロナ社, 2022.3

タイトル別名

Logical labyrinths and mathematical logic

タイトル読み

スウリ パズル デ タノシク マナベル ロンリガク

電子リソースにアクセスする 全1件

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

  2022.3.

  Maruzen eBook Library

注記

引用・参考文献: p[183]-186

内容説明・目次

目次

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

「BOOKデータベース」 より

• NII書誌ID(NCID): BC13357057
• ISBN:
  • 9784339029239
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 188p
• 大きさ: 21cm
• 分類:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : MA41
• 件名:
  • BSH : 記号論理学
  • NDLSH : 記号論理学