跳转到主要内容
Life@USTC
形式化方法导引(CS4005.03) - Life@USTC
首页
班级
CS4005.03
形式化方法导引
A Guide to Formal Methods
日历
作业 (0)
评论 (0)
2026.03
周次
星期日
星期一
星期二
星期三
星期四
星期五
星期六
第 1 周
1
2
3
15:55-18:20: 上课
4
5
6
7
第 2 周
8
9
10
15:55-18:20: 上课
11
12
13
14
第 3 周
15
16
17
15:55-18:20: 上课
18
19
20
21
第 4 周
22
23
24
15:55-18:20: 上课
25
26
27
28
第 5 周
29
30
31
15:55-18:20: 上课
1
2
3
4
第 6 周
5
6
7
15:55-18:20: 上课
8
9
10
11
×
学分
3
学时
80 (42)
考试方式
大作业（论文、报告、项目或作品等）
教师
黄文超
(计算机科学与技术学院)
更多信息 ↓
查看全部班级 (5) ->
2026.03
日
一
二
三
四
五
六
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
查看已选课班级
登录后创建
编辑记录
暂无作业
简介
登录后编辑
暂无简介，欢迎补充。
编辑记录 (0)
你的评论将在 这个班级 下可见
需要修改？
编辑
预览
Markdown 指南
实时预览将在这里显示。
匿名
仅登录用户可见
上传文件
登录后评论
暂无评论