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