X202410002034
数学形式化及其教学应用
创新训练项目
中国人民大学
一年期
法学
社会学类
2024-07-11
姓名 专业班级 所在学院 项目中的分工 成员类型
陶亦成 第一主持人
林志 成员
张腾裕 成员
林奕君 成员
吴与同 成员
姓名 职称 指导教师类型
王善文 副教授 第一指导教师