本/雑誌
スマリヤン数理論理学講義 上巻 / 原タイトル:A BEGINNER’S GUIDE TO MATHEMATICAL LOGIC
レイモンド・M・スマリヤン/著 田中一之/監訳 川辺治之/訳
4400円
ポイント | 1% (44p) |
---|---|
発売日 | 2017年09月発売 |
出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
- 追跡可能メール便 送料無料
著者・出版社・関連アーティスト
商品説明
スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
関連記事
収録内容
1 | 第1部 一般的な予備知識(数理論理学の起源 |
2 | 無限集合 |
3 | 問題発生! |
4 | 数学の基礎知識) |
5 | 第2部 命題論理(命題論理事始め |
6 | 命題論理のタブロー |
7 | 公理論的命題論理) |
8 | 第3部 一階述語論理(一階述語論理事始め |
9 | 重要な結果) |
10 | 第4部 体系の不完全性(一般的状況での不完全性 |
11 | 一階算術 |
12 | 形式体系 |
13 | ペアノ算術 |
14 | 進んだ話題) |