授课班级 EIEN7002P.01

形式化方法

Formal Methods

2025年秋季学期高新区 131 / 120

授课班级

GX-C1001: 1(6,7,8);GT-C102: 2(2,3,4);G3-110: 7(2,3,4,5);G3-110: 7(6,7,8,9)

周次

日

一

二

三

四

五

六

第 1 周

第 2 周

上课事件

9/15/2025 · 14:00-16:40 · GX-C1001 · 信智楼 · 高新区

第 2 周 · 节次 0-0

上课事件

9/16/2025 · 08:40-11:20 · GT-C102 · 图书教育中心C楼 · 高新区

第 2 周 · 节次 0-0

第 3 周

上课事件

9/22/2025 · 14:00-16:40 · GX-C1001 · 信智楼 · 高新区

第 3 周 · 节次 0-0

上课事件

9/23/2025 · 08:40-11:20 · GT-C102 · 图书教育中心C楼 · 高新区

第 3 周 · 节次 0-0

第 4 周

上课事件

9/29/2025 · 14:00-16:40 · GX-C1001 · 信智楼 · 高新区

第 4 周 · 节次 0-0

上课事件

9/30/2025 · 08:40-11:20 · GT-C102 · 图书教育中心C楼 · 高新区

第 4 周 · 节次 0-0

第 5 周