一歩ずつマスターする論理学入門 Introduction to logic
著者
書誌事項
一歩ずつマスターする論理学入門 = Introduction to logic
慶應義塾大学出版会, 2025.3
- タイトル別名
-
論理学入門 : 一歩ずつマスターする
- タイトル読み
-
イッポズツ マスター スル ロンリガク ニュウモン
大学図書館所蔵 全123件
この図書・雑誌をさがす
注記
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
文献案内: p265-268
内容説明・目次
内容説明
哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。
目次
- 第１章 論理学の問題
- 第２章 日本語文の記号化と形式言語
- 第３章 命題論理の意味論
- 第４章 命題論理の証明論
- 第５章 述語論理の形式言語
- 第６章 述語論理の意味論
- 第７章 述語論理の証明論
- 解答と解説
「BOOKデータベース」 より