目次
１ 論理と集合（命題論理；述語論理；証明；集合）
２ 写像と濃度（関数と写像；写像のグラフ；写像の性質；濃度；ベルシュタインの定理；選択公理）
３ 二項関係（二項関係；順序と順序同型；同値関係と同値類；整数の構成；二項関係上の演算；実数の構成）
４ 数学的論法（対偶による証明；帰納法・帰納的定義；数学の言葉を使ってみよう；数学の言葉の使用例：形式言語入門）
著者等紹介
渡辺治［ワタナベオサム］
１９５８年神奈川県に生まれる。１９８２年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科教授・博士（工学）
北野晃朗［キタノテルアキ］
１９６５年山口県に生まれる。１９９４年東京工業大学大学院理工学研究科博士課程修了。現在、創価大学工学部情報システム工学科准教授・博士（理学）
木村泰紀［キムラヤスノリ］
１９７０年北海道に生まれる。２０００年東京工業大学大学院情報理工学研究科博士課程修了。現在、東京工業大学大学院情報理工学研究科助教・博士（理学）
谷口雅治［タニグチマサハル］
１９６６年三重県に生まれる。１９９３年東京大学大学院数理科学研究科博士課程修了。現在、東京工業大学大学院情報理工学研究科准教授・博士（数理科学）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
