教学通知
教学通知
首页  >  公司产品  >  研究生教学  >  教学通知  >  正文

    2021级硕士研究生中期检查公告(四)

    2023-09-14  点击:[]

    硕士研究生中期检查公告

    时间:2023年914日 15:00

    地点:犀浦30423

    专家:陈树伟,何星星,徐鹏,王恪铭


    学号

    姓名

    专业

    题目

    导师

    2021201687

    姜世攀

    数学

    基于无效子句删除与演绎子句选取的一阶逻辑定理证明器CSE优化研究

    陈树伟

    2021201710

    兰咏琪

    数学

    自动定理证明中面向前提选择的图表示法和图神经网络研究

    何星星

    2021201683

    贾昊洲

    数学

    物联网RFID系统轻量级认证协议安全性研究

    徐鹏




    上一条:2023年博士毕业论文答辩安排(四)
    下一条:2023年博士毕业论文答辩安排(三)

    关闭