18/01/18 15:54:44.27 +FwP6CtR.net
■しらみつぶしによって S = {1, 2, 3} のすべての開集合系を計算し、それらの開集合系から
閉集合系
開核作用子
閉包作用子
近傍系
を計算したファイルです:
URLリンク(github.com)
■しらみつぶしによって S = {1, 2, 3} のすべての近傍系を計算し、それらの近傍系から
開集合系
閉集合系
開核作用子
閉包作用子
を計算したファイルです:
URLリンク(github.com)
■上の2つの計算結果が等しいかどうかを計算したファイルです:
URLリンク(github.com)