主  讲  人： 何雨果

时      间： 2011年6月24日 下午 14:00-15:30

地      点： 首师大北二区教学楼314

主 办 单 位： 信息工程学院

主讲人介绍： 2003年开始在北京理工大学计算机系工作。本科和研究生毕业于吉林大学计算机系。2006年赴英国剑桥大学留学，已获博士学位。目前主要从事有限模型论及其应用的研究。

内 容 介 绍：报告主要讲有限模型论中的一个课题，即一阶逻辑中的量词结构谱系。有限模型论中的一个重要问题是从表达能力的角度区分不同逻辑及一个逻辑的不同片段。尤其是前者，对应着计算复杂性中的核心问题。一阶逻辑不仅在模型论，而且在描述复杂性中有着特殊的地位。对于一阶逻辑，我们既可以从变量的角度研究，也可以从量词的角度研究。众所周知，量词是一种重要的逻辑资源。我们在Gradel和McColm的基础上重新定义了一种衡量量词资源的概念“量词结构”。根据这个定义，我们对一阶逻辑中的句子进行了系统的分类，从而加深了对一阶逻辑的理解。