【5月26日】逻辑表示和机器计算——数理逻辑论坛

点击次数:  更新时间:2023-05-22

主讲人简介:赵希顺,教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。赵希顺教授的主要研究方向是数理逻辑及其在计算机科学和人工智能中的应用。