離散数学と論理 III(集合・関係・写像)

集合演算とべき集合、単射・全射・全単射といった写像の性質、同値関係や半順序、関係の合成など、データやモデルを厳密に扱うための集合と関係の基礎を学びます。