CTL&ATL短期课程通知-西南大学逻辑与智能研究中心 | 重庆市人文社科重点研究基地

首页/ 通知公告（Announcements）/ 正文

CTL&ATL短期课程通知

发布时间：2019-05-28 00:00

作者：本站编辑

来源：本站原创

浏览次数：

授课教师：Thomas Ågotnes 教授

课程周期：(05.28--06.20，4周，每周2次)

课程内容：时态逻辑、联盟逻辑等相关逻辑（LTL\CTL\ATL\CL）

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

上课时间：星期二、星期三2:30-4:30

上课地点：中心报告厅

上一篇： 2016级逻辑学硕士研究生学位论文答辩会

下一篇： [PhD position] In Logic at Utrecht University, the Netherlands(Deadline: 20 May, 2019.)