本/雑誌
記号論理学
山本新/著 入江俊夫/著 田村高幸/著
3520円
| ポイント | 1% (35p) |
|---|---|
| 発売日 | 2023年11月上旬発売 |
| 出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
- 追跡可能メール便 送料無料
関連記事
収録内容
| 1 | 第1章 論理学とはなにか(正しい推論 |
| 2 | 対象言語とメタ言語 |
| 3 | 公理体系) |
| 4 | 第2章 命題論理(命題の記号化 |
| 5 | 論理式 ほか) |
| 6 | 第3章 述語論理(命題の記号化 |
| 7 | 限量記号の用法 ほか) |
| 8 | 第4章 様相論理(様相命題論理 |
| 9 | 意味論 |
| 10 | 健全性 |
| 11 | 完全性 |
| 12 | 決定可能性 |
| 13 | 様相述語論理 |
| 14 | 意味論 |
| 15 | 健全性 |
| 16 | 完全性) |
| 17 | 第5章 直観主義論理(直観主義命題論理 |
| 18 | 意味論 |
| 19 | 健全性 |
| 20 | 完全性 |
| 21 | 決定可能性 |
| 22 | 直観主義述語論理 |
| 23 | 意味論 |
| 24 | 健全性 |
| 25 | 完全性) |
| 26 | 補論1 ゲンツェンの論理体系 |
| 27 | 補論2 様相論理への補論 |
| 28 | 補論3 線形論理について |
