情報数理A
講義の概要
集合を記述するための基本的な言葉から始め，命題論理，推論規則，述語論理を学ぶ．その論理を用いて，部分集合，集合演算，補集合，集合族，直積集合，冪集合を体系的に扱う．さらに，写像，像と逆像，全射・単射・全単射，濃度へ進み，可算集合と非可算集合まで学ぶ．
キーワード
集合，命題論理，述語論理，証明，集合族，直積集合，冪集合，写像，全射，単射，全単射，濃度，可算集合，非可算集合
集合を記述するための基本的な言葉から始め，命題論理，推論規則，述語論理を学ぶ．その論理を用いて，部分集合，集合演算，補集合，集合族，直積集合，冪集合を体系的に扱う．さらに，写像，像と逆像，全射・単射・全単射，濃度へ進み，可算集合と非可算集合まで学ぶ．
集合，命題論理，述語論理，証明，集合族，直積集合，冪集合，写像，全射，単射，全単射，濃度，可算集合，非可算集合