数学の言葉と論理
著者
書誌事項
数学の言葉と論理
(現代基礎数学 / 新井仁之 [ほか] 編, 1)
朝倉書店, 2008.9
- タイトル読み
-
スウガク ノ コトバ ト ロンリ
大学図書館所蔵 全199件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の著者: 北野晃朗, 木村泰紀, 谷口雅治
参考図書の紹介: p[213]-214
内容説明・目次
目次
- 1 論理と集合(命題論理;述語論理;証明;集合)
- 2 写像と濃度(関数と写像;写像のグラフ;写像の性質;濃度;ベルシュタインの定理;選択公理)
- 3 二項関係(二項関係;順序と順序同型;同値関係と同値類;整数の構成;二項関係上の演算;実数の構成)
- 4 数学的論法(対偶による証明;帰納法・帰納的定義;数学の言葉を使ってみよう;数学の言葉の使用例:形式言語入門)
「BOOKデータベース」 より