Nanyou discrete mathematics experiment all source code