資料詳細

  • 1 件中、 1 件目

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

藤田 憲悦／著

コロナ社 2022.3

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410.96/ﾌｼ/ 1111578157 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 数理パズルで楽しく学べる論理学
著者 藤田 憲悦 ／著  
出版者 コロナ社
出版年 2022.3
ページ数 7,188p
大きさ 21cm
一般件名 記号論理学
NDC分類(9版) 410.96
内容紹介 スマリヤンの「正直者と噓つきのパズル」など、日常的推論で考察可能な数理パズルを通して、身の回りの物事を記号化する力や論理的に説明・表現する力を養うテキスト。
ISBN 4-339-02923-9

ページの先頭へ

内容一覧

タイトル 著者名 ページ
1.準備
2.命題論理
3.述語論理
4.証明の形式化とラムダ計算

ページの先頭へ