主页

教学

算法与数据结构

软件形式化方法

形式化方法讨论班

  课程简介
  教学活动
  讨论报告

课程主页—形式化方法讨论班

课程简介

讨论班是为研究生进一步学习、研究而开设的，就某个方向上的各种问题展开讨论，没有固定的内容。

教学活动

• 4月1日 课程主页开通。

讨论报告