数学と論理
著者
書誌事項
数学と論理
(講座数学の考え方 / 飯高茂 [ほか] 編集, 23)
朝倉書店, 2003.4
- タイトル読み
-
スウガク ト ロンリ
大学図書館所蔵 件 / 全243件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
内容説明・目次
目次
- 1 数学の小史(記号の博物誌;数と論理の小史;複雑さと計算量)
- 2 古典述語論理(項と論理式;推論と証明;モデルと正しさ;証明と完全性)
- 3 数と論理の話(自然数の体系;原始帰納的関数;計算可能性;不完全性定理)
- 4 集合論の話(公理的集合論;順序数;選択公理の周辺;独立性の話)
- 5 有限の話(有限体;楕円曲線と有限体;計算量の話;有限から無限へ)
「BOOKデータベース」 より