2025年5月
23
星期五
S202410002037
类型论与图灵机理论:计算模型的逻辑对比与融合研究
创新训练项目
中国人民大学
一年期
理学
数学类
2024-07-11
姓名 专业班级 所在学院 项目中的分工 成员类型
黄玙凡 第一主持人
田颀心 成员
黄瑞转 成员
王怡宁 成员
张博维 成员
姓名 职称 指导教师类型
王善文 副教授 第一指导教师
于鹏 讲师 指导教师