一歩ずつマスターする論理学入門 Introduction to logic

Author(s)

Bibliographic Information

一歩ずつマスターする論理学入門 = Introduction to logic

峯島宏次 [著] = Mineshima Koji

慶應義塾大学出版会, 2025.3

Other Title

論理学入門 : 一歩ずつマスターする

Title Transcription

イッポズツ マスター スル ロンリガク ニュウモン

Available at  / 89 libraries

Note

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

文献案内: p265-268

Description and Table of Contents

Description

哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。

Table of Contents

  • 第１章　論理学の問題
  • 第２章　日本語文の記号化と形式言語
  • 第３章　命題論理の意味論
  • 第４章　命題論理の証明論
  • 第５章　述語論理の形式言語
  • 第６章　述語論理の意味論
  • 第７章　述語論理の証明論
  • 解答と解説

by "BOOK database"

Details

  • NCID
    BD10982584
  • ISBN
    • 9784766430158
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    iv, 273p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top