我们提供形式方法、模型检查、计算机辅助验证、抽象解释和决策程序等课程。我们一直在寻找对学士、硕士和博士研究项目或论文感兴趣的热情年轻人。
当前/即将开设的课程
| 课程编号 |
课程名称 |
类型 |
最近/即将到来的学期 |
TISS链路 |
| 184766 |
计算机科学逻辑方法导论 |
VO（旁白） |
2024S年 |
|
| 181144 |
计算机辅助验证 |
使用单位 |
2024S年 |
|
| 184749 |
程序设计语言的语义 |
似曾相识 |
2024S年 |
|
| 184741 |
程序和系统验证 |
VU（电压单位） |
2024S年 |
|
| 184090 |
SAT求解 |
VU（电压单位） |
2024年 |
|
| 181145 |
计算机辅助验证 |
VU（电压单位） |
2024S年 |
|
| 192033 |
计算机科学中的逻辑与推理 |
似曾相识 |
2024S年 |
|
当前/即将举行的研讨会
| 课程编号 |
课程名称 |
类型 |
最近/即将到来的学期 |
TISS链路 |
| 181224 |
博士生和硕士生研讨会 |
东南方 |
2024S年 |
|
| 181221 |
研讨会形式方法 |
东南方 |
2024S年 |
|
| 184767 |
LogiCS研究研讨会 |
东南方 |
2024S年 |
|
当前/即将进行的项目
| 课程编号 |
课程名称 |
类型 |
最近/即将到来的学期 |
TISS链路 |
| 192035 |
计算机科学项目2云计算趋势 |
公共关系 |
2024年 |
|
| 184695 |
学士学位论文 |
公共关系 |
2024S年 |
|
| 192022 |
计算机科学项目2 |
公共关系 |
2024S年 |
|
| 192021 |
计算机科学项目1 |
公共关系 |
2024S年 |
|
旧课程
| 课程编号 |
课程名称 |
类型 |
最近/即将到来的学期 |
TISS链路 |
| 184695 |
学士学位论文 |
公共关系 |
2023瓦 |
|
| 185291 |
计算机科学中的形式化方法 |
VU（电压单位） |
2023瓦 |
|
| 181221 |
研讨会形式方法 |
东南方 |
2023瓦 |
|
| 184767 |
LogiCS研究研讨会 |
东南方 |
2023瓦 |
|
| 192022 |
计算机科学项目2 |
公共关系 |
2023瓦 |
|
| 185A93年 |
计算机科学中的形式化方法 |
使用单位 |
2023瓦 |
|
| 181224 |
博士生和硕士生研讨会 |
东南方 |
2023瓦 |
|
| 192021 |
计算机科学项目1 |
公共关系 |
2023瓦 |
|
| 184703 |
项目分析 |
VU（电压单位） |
2023瓦 |
|
| 184766 |
计算机科学中的逻辑方法导论 |
VO（旁白） |
2023瓦 |
|
| 184090 |
SAT求解 |
VU（电压单位） |
2023S年 |
|
| 184749 |
程序设计语言的语义 |
似曾相识 |
2023S年 |
|
| 184741 |
程序和系统验证 |
VU（电压单位） |
2023S年 |
|
| 181144 |
计算机辅助验证 |
使用单位 |
2023S年 |
|
| 184774 |
自动扣除 |
VU（电压单位） |
2023S年 |
|
| 181145 |
计算机辅助验证 |
VU（电压单位） |
2023S年 |
|
| 184693 |
计算机科学项目2 |
公共关系 |
2023S年 |
|
| 192142 |
类型理论导论 |
VU（电压单位） |
2023年 |
|
| 184692 |
计算机科学项目1 |
公共关系 |
2023S年 |
|
| 192106 |
软件模型检查 |
VU（电压单位） |
2021瓦 |
|
| 181222 |
计算逻辑项目 |
公共关系 |
2020年 |
|
| 184697 |
软件工程与互联网计算项目 |
公共关系 |
2020年 |
|
| 181220 |
严格的系统工程 |
VU（电压单位） |
2018年 |
|