数学の言葉と論理/渡辺治／著　北野晃朗／著　木村泰紀／著　谷口雅治／著本・コミック：オンライン書店e-hon

数学の言葉と論理

現代基礎数学　１

商品内容

目次	１　論理と集合（命題論理述語論理証明集合）２　写像と濃度（関数と写像写像のグラフ写像の性質濃度ベルシュタインの定理選択公理）３　二項関係（二項関係順序と順序同型同値関係と同値類整数の構成二項関係上の演算実数の構成）４　数学的論法（対偶による証明帰納法・帰納的定義数学の言葉を使ってみよう数学の言葉の使用例：形式言語入門）

渡辺　治 (ワタナベ　オサム)　　: １９５８年神奈川県に生まれる。１９８２年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科教授・博士（工学）

北野　晃朗 (キタノ　テルアキ)　　: １９６５年山口県に生まれる。１９９４年東京工業大学大学院理工学研究科博士課程修了。現在、創価大学工学部情報システム工学科准教授・博士（理学）

木村　泰紀 (キムラ　ヤスノリ)　　: １９７０年北海道に生まれる。２０００年東京工業大学大学院情報理工学研究科博士課程修了。現在、東京工業大学大学院情報理工学研究科助教・博士（理学）

谷口　雅治 (タニグチ　マサハル)　　: １９６６年三重県に生まれる。１９９３年東京大学大学院数理科学研究科博士課程修了。現在、東京工業大学大学院情報理工学研究科准教授・博士（数理科学）（本データはこの書籍が刊行された当時に掲載されていたものです）