一歩ずつマスターする論理学入門 Introduction to logic
Author(s)
Bibliographic Information
一歩ずつマスターする論理学入門 = Introduction to logic
慶應義塾大学出版会, 2025.3
- Other Title
-
論理学入門 : 一歩ずつマスターする
- Title Transcription
-
イッポズツ マスター スル ロンリガク ニュウモン
Available at / 89 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
文献案内: p265-268
Description and Table of Contents
Description
哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。
Table of Contents
- 第1章 論理学の問題
- 第2章 日本語文の記号化と形式言語
- 第3章 命題論理の意味論
- 第4章 命題論理の証明論
- 第5章 述語論理の形式言語
- 第6章 述語論理の意味論
- 第7章 述語論理の証明論
- 解答と解説
by "BOOK database"