请升级浏览器版本

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

学院动态

首页 >> 学院动态 >> 正文
北京雁栖湖应用数学研究院李文娟博士应邀访问北航
发布日期:2024-01-22    点击:


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

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

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

快速链接

版权所有 © 2021  版权所有 新葡的京集团350vip8888-官方网站
地址:北京市昌平区高教园南三街9号   网址 www.czhoude.com

Baidu
sogou