数学の言葉と論理
著者
書誌事項
数学の言葉と論理
(現代基礎数学 / 新井仁之 [ほか] 編, 1)
朝倉書店, 2008.9
- タイトル読み
-
スウガク ノ コトバ ト ロンリ
大学図書館所蔵 件 / 全199件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
その他の著者: 北野晃朗, 木村泰紀, 谷口雅治
参考図書の紹介: p[213]-214
内容説明・目次
目次
- 1 論理と集合(命題論理;述語論理;証明;集合)
- 2 写像と濃度(関数と写像;写像のグラフ;写像の性質;濃度;ベルシュタインの定理;選択公理)
- 3 二項関係(二項関係;順序と順序同型;同値関係と同値類;整数の構成;二項関係上の演算;実数の構成)
- 4 数学的論法(対偶による証明;帰納法・帰納的定義;数学の言葉を使ってみよう;数学の言葉の使用例:形式言語入門)
「BOOKデータベース」 より