数学と論理
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
- １ 数学の小史（記号の博物誌；数と論理の小史；複雑さと計算量）
- ２ 古典述語論理（項と論理式；推論と証明；モデルと正しさ；証明と完全性）
- ３ 数と論理の話（自然数の体系；原始帰納的関数；計算可能性；不完全性定理）
- ４ 集合論の話（公理的集合論；順序数；選択公理の周辺；独立性の話）
- ５ 有限の話（有限体；楕円曲線と有限体；計算量の話；有限から無限へ）
by "BOOK database"