資料詳細

[ 和図書 ] 数理パズルで楽しく学べる論理学

藤田憲悦／著 -- コロナ社 -- 2022.3 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-339-02923-9
ISBN13桁	978-4-339-02923-9
タイトル	数理パズルで楽しく学べる論理学
タイトルカナ	スウリパズルデタノシクマナベルロンリガク
著者名	藤田憲悦／著
著者名典拠番号	110007976210000
出版地	東京
出版者	コロナ社
出版者カナ	コロナシャ
出版年	2022.3
ページ数	7, 188p
大きさ	21cm
価格	¥2600
内容紹介	スマリヤンの「正直者と噓つきのパズル」など、日常的推論で考察可能な数理パズルを通して、身の回りの物事を記号化する力や論理的に説明・表現する力を養うテキスト。
書誌・年譜・年表	文献:p183～186
一般件名	記号論理学-ndlsh-00565709
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『数理パズルで楽しく学べる論理学』　藤田憲悦／著　コロナ社　2022.3（所蔵館：中央　請求記号：/410.9/5150/2022　資料コード：7115333986）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153970316

1.準備: 言葉づかいについて:集合,順序と同値関係,写像と関数
2.命題論理: 2.1 日常的推論と記号化; 2.2 数理パズルと記号化; 2.3 命題論理の言語:論理式; 2.4 命題論理の意味論; 2.5 ブール代数; 2.6 ブール関数; 2.7 命題論理の形式的体系; 2.8 形式的体系の健全性と完全性
3.述語論理: 3.1 数理パズルと述語論理による記号化; 3.2 述語論理の言語; 3.3 述語論理の形式的体系; 3.4 述語論理の意味論
4.証明の形式化とラムダ計算: 4.1 証明図の簡約; 4.2 証明の記号化・形式化; 4.3 カリー・ハワード同型