主页

教学

形式化方法讨论班

讨论报告

2002年春季学期讨论班讨论报告

• 范少峰：图变换
• 蒋凌霄：进化代数
• 苑明理：代数规范
• 徐剑：时态逻辑