教学通知
教学通知
首页  >  教育教学  >  研究生教学  >  教学通知  >  正文

    2023年博士毕业论文答辩安排(三)

    2023-08-17  点击:[]

    题目:基于矛盾体分离演绎规则的一阶逻辑自动定理证明器研究

    答辩人:刘沛瑶

    专业:数学

    指导教师:徐扬 教授/博导

    答辩时间:202308月23日(星期三)上午10:00

    答辩地点:西南交通大学九里校区5号教学楼J5103


    答辩委员会主席:

    张伟年 教授/博导 四川大学数学学院

    答辩委员会委员:

    钟守铭 教授/博导 电子科技大学数学科学学院

    教授/博导 西南交通大学数学学院

    秦克云 教授/博导 西南交通大学数学学院

    潘小东 副教授/博导 西南交通大学数学学院

    答辩秘书:

    陈树伟 副教授 西南交通大学数学学院


    欢迎广大师生光临指导!


    上一条:2021级硕士研究生中期检查公告(四)
    下一条:西南交通大学数学学院2023年暑期夏令营优秀营员名单

    关闭