Life@USTC
登录
授课班级 CS4005.03

形式化方法导引

A Guide to Formal Methods

2026年春季学期 高新区 69 / 132

March 2026

周次
日
一
二
三
四
五
六
第 1 周
1
2
3
1
上课事件

3/3/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 1 周 · 节次 0-0

4
5
6
7
第 2 周
8
9
10
1
上课事件

3/10/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 2 周 · 节次 0-0

11
12
13
14
第 3 周
15
16
17
1
上课事件

3/17/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 3 周 · 节次 0-0

18
19
20
21
第 4 周
22
23
24
1
上课事件

3/24/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 4 周 · 节次 0-0

25
26
27
28
第 5 周
29
30
31
1
上课事件

3/31/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 5 周 · 节次 0-0

1
2
3
4
第 6 周
5
6
7
1
上课事件

4/7/2026 · 15:55-18:20 · GH-408 · 师生活动中心 · 高新区

第 6 周 · 节次 0-0

8
9
10
11