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

Author(s)

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

Bibliographic Information

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

藤田憲悦著

コロナ社, 2022.3

Other Title

Logical labyrinths and mathematical logic

Title Transcription

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

Note

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

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BC13357057
• ISBN:
  • 9784339029239
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 188p
• Size: 21cm
• Classification:
  • NDC9 : 410.96
  • NDC10 : 410.96
  • NDLC : MA41
• Subject Headings:
  • BSH : 記号論理学
  • NDLSH : 記号論理学