1月12日，应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请，北京雁栖湖应用数学研究院李文娟博士在主楼E404作精彩报告，介绍他们在反推数学和理论计算机领域的相关工作。
李文娟博士以寻找一类博弈的必胜策略为例，引出了自动机识别的语言与“决定集”的相关问题，并深入浅出地介绍了她在这一领域结合反推数学所做的一系列工作，最后提出了一些开放性的问题与未来可能完成的工作。现场的师生积极参与，与报告人展开了热烈地交流讨论。
报告人介绍：李文娟，北京雁栖湖应用数学研究院博士后，东北大学（Tohoku University）博士，曾在南洋理工大学做博士后研究工作。她的研究兴趣包括数理逻辑与理论计算机科学交叉领域的课题。
