请升级浏览器版本

你正在使用旧版本浏览器。请升级浏览器以获得更好的体验。

学院动态

首页 >> 学院动态 >> 正文

北京雁栖湖应用数学研究院李文娟博士应邀访问北航

发布日期:2024-01-22    点击:


112日,应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请,北京雁栖湖应用数学研究院李文娟博士在主楼E404作精彩报告,介绍他们在反推数学和理论计算机领域的相关工作。

李文娟博士以寻找一类博弈的必胜策略为例,引出了自动机识别的语言与“决定集”的相关问题,并深入浅出地介绍了她在这一领域结合反推数学所做的一系列工作,最后提出了一些开放性的问题与未来可能完成的工作。现场的师生积极参与,与报告人展开了热烈地交流讨论。

报告人介绍:李文娟,北京雁栖湖应用数学研究院博士后,东北大学(Tohoku University)博士,曾在南洋理工大学做博士后研究工作。她的研究兴趣包括数理逻辑与理论计算机科学交叉领域的课题。

快速链接

版权所有 © 2021  北京航空航天大学 皇冠线上官网
地址:北京市昌平区高教园南三街9号   电话:61716719

Baidu
sogou