上海交通大学软件工程硕士离散数学-集合论