跳转到主要内容
Life@USTC
数理逻辑进阶与应用(CS4010.01) - Life@USTC
首页
班级
CS4010.01
数理逻辑进阶与应用
Advanced Mathematical Logic and It's Applications
日历
作业 (0)
评论 (0)
2025.09
周次
星期日
星期一
星期二
星期三
星期四
星期五
星期六
—
31
1
2
3
4
5
6
第 1 周
7
8
9
15:55-18:20: 上课
10
11
12
13
第 2 周
14
15
16
15:55-18:20: 上课
17
18
19
20
第 3 周
21
22
23
15:55-18:20: 上课
24
25
26
27
第 4 周
28
29
30
15:55-18:20: 上课
1
2
3
4
第 5 周
5
6
7
8
9
10
11
×
学分
2
学时
40 (39)
考试方式
笔试（开卷）
教师
刘贵全
(计算机科学与技术学院)
更多信息 ↓
查看全部班级 (4) ->
2025.09
日
一
二
三
四
五
六
31
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
1
2
3
4
5
6
7
8
9
10
11
查看已选课班级
简介
登录后编辑
暂无简介，欢迎补充。
编辑记录 (0)
登录后创建
编辑记录
暂无作业
你的评论将在 这个班级 下可见
需要修改？
编辑
预览
Markdown 指南
实时预览将在这里显示。
匿名
仅登录用户可见
上传文件
登录后评论
暂无评论