数学の言葉と論理
Author(s)
Bibliographic Information
数学の言葉と論理
（現代基礎数学 / 新井仁之 [ほか] 編, 1）
朝倉書店, 2008.9
- Title Transcription
-
スウガク ノ コトバ ト ロンリ
Available at / 200 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他の著者: 北野晃朗, 木村泰紀, 谷口雅治
参考図書の紹介: p[213]-214
Description and Table of Contents
Table of Contents
- １ 論理と集合（命題論理；述語論理；証明；集合）
- ２ 写像と濃度（関数と写像；写像のグラフ；写像の性質；濃度；ベルシュタインの定理；選択公理）
- ３ 二項関係（二項関係；順序と順序同型；同値関係と同値類；整数の構成；二項関係上の演算；実数の構成）
- ４ 数学的論法（対偶による証明；帰納法・帰納的定義；数学の言葉を使ってみよう；数学の言葉の使用例：形式言語入門）
by "BOOK database"
