数理パズルで楽しく学べる論理学 = Logical Labyrinths and Mathematical Logic

• 資料種別: 図書
• ISBN: 978-4-339-02923-9
• タイトル: 数理パズルで楽しく学べる論理学
• タイトルよみ: スウリ パズル デ タノシク マナベル ロンリガク
• 著者・編者: 藤田憲悦 著
• 著者標目: 著者 ： 藤田, 憲悦 フジタ, ケンエツ ( 032084715 )典拠
• 出版事項: 東京 : コロナ社 (出版)
• 出版年月日等: 2022.3
• 出版年（W3CDTF）: 2022
• 数量: 188p
• 大きさ: 21cm
• 並列タイトル等: Logical Labyrinths and Mathematical Logic
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 410.96 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2600円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-M42
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 032007223; http://id.ndl.go.jp/bib/032007223
• 全国書誌番号: 23667172
• トーハンMARC番号: 34315026
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: スマリヤンのパズル等親しみやすい日常的推論の例を多数掲載。論理の構文論的側面と意味論的側面の違い及びその関係性への理解を深めることで，物事の本質をつかみ記号化する力，論理的に証明する力を身につけることを目指す。（提供元: 出版情報登録センター（JPRO））

目次

1.　準備

言葉づかいについて：集合，順序と同値関係，写像と関数

2.　命題論理

2.1　日常的推論と記号化

2.2　数理パズルと記号化