数学と論理
Author(s)
Bibliographic Information
数学と論理
(講座数学の考え方 / 飯高茂 [ほか] 編集, 23)
朝倉書店, 2003.4
- Title Transcription
-
スウガク ト ロンリ
Available at / 243 libraries
-
Prefectural University of Hiroshima Library and Academic Information Center
410.8||Ko98||23120002074
-
University of Tsukuba Library, Library on Library and Information Science
410.8-Ko98-2310010014213
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC22:510/KOZ2080007305
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Table of Contents
- 1 数学の小史(記号の博物誌;数と論理の小史;複雑さと計算量)
- 2 古典述語論理(項と論理式;推論と証明;モデルと正しさ;証明と完全性)
- 3 数と論理の話(自然数の体系;原始帰納的関数;計算可能性;不完全性定理)
- 4 集合論の話(公理的集合論;順序数;選択公理の周辺;独立性の話)
- 5 有限の話(有限体;楕円曲線と有限体;計算量の話;有限から無限へ)
by "BOOK database"