767彩票大全下载

CTL&ATL短期课程通知

发布时间:2019-05-28 来源:本站原创 作者:本站编辑   浏览次数:

授课教师:Thomas Ågotnes 教授

课程周期:(05.28--06.20,4周,每周2次)

课程内容:时态逻辑、联盟逻辑等相关逻辑(LTL\CTL\ATL\CL)

预备知识:命题逻辑、模态逻辑基础

767彩票大全下载上课时间:星期二、星期三2:30-4:30

上课地点:中心报告厅