信息门户| 信息公开| 联系校领导| 教师邮箱| 学生邮箱| 师大云盘
师大新闻| English Version| 校友之家| 珠海校区     

教师邮箱学生邮箱

导航

学术动态

动态发布,集中呈现学校学术活动预告、专家学者观点、学术成果荣誉等。

[预告]03.05哲学学院邀请瑞典斯德哥摩大学教授来我校开设短期课程

 时间:2018年3月5日至16日,周一、三、五,上午10:00-11:40

       地点:
欧洲杯比分竞猜教七楼509教室

       
主讲教授:Valentin GORANKO
 
       课程主题:Temporal Logics in Computer Science
 
       课程大纲:
 
       Lecture 1: Introduction to temporal reasoning, models and logics. Prior’s basic temporal logic.
       Lecture 2: Extensions of Prior's tense logic.
       Lecture 3: Linear time temporal logics.
       Lecture 4: Branching time temporal logics.
       Lecture 5: Multi-agent (alternating-time) temporal logic (ATL).
       Lecture 6: Interval temporal logics.
 
      
教授简介:Valentin GORANKO,男,1959年出生,瑞典斯德哥尔摩大学教授。1984年毕业于保加利亚索亚菲大学后,先后任教于保加利亚、南非、丹麦。Goranko教授一直致力于Temporal Logic的研究和教学,作为主要完成人的研究成果有Temporal Logics in Computer Science,Logic as a Tool: A Guide to Formal Logical Reasoning。逻辑学著作10本,第一作者论文100余篇。作为硕士生、博士生以及博士后导师,培养了一大批逻辑学领域的高端人才。自任教以来,主持和参与多个课题项目研究。目前正在主持的课题项目是Dynamical multi-agent systems: modelling, algorithmic verification and synthesis, 课题资金来源于瑞典研究理事会。






TOP
XML 地图 | Sitemap 地图

欧洲杯比分竞猜