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

    2019级信息与计算科学系硕士研究生答辩公告(一)

    2022-05-10  点击:[]

    时间:2022513星期五)14001800

    地点:犀浦校区X30425

    答辩秘书:吴贯锋

    答辩安排:

    学生姓名

    论文题目

     

     

     

     

     

    2019201558

    几类群的逻辑形式化及验证研究

    秦克云

    潘小东

    陈树伟

    何星星

    刘凌荣

    陈树伟

    2019201535

    命题逻辑子句集中基于可满足性等价的冗余性质研究

    秦克云

    潘小东

    何星星

    陈尚云

    2015201567

    基于角度偏好和Pareto支配的多目标粒子群算法及其应用

    秦克云

    潘小东

    陈树伟

    何星星

    陈丽萍

    2019201538

    基于EAP框架的5G协议形式化验证研究

    秦克云

    潘小东

    陈树伟

    何星星

    钟小梅

    2019201550

    命题逻辑中子句集的冗余性研究

    秦克云

     

    陈树伟

    何星星

    黎兴玉

    何星星

    2019201566

    命题逻辑中的矛盾体复合与图表示

    秦克云

     

    陈树伟

    潘小东


    欢迎各位师生光临指导!


    上一条:2019级基础数学硕士研究生答辩公告
    下一条:硕士研究生学位论文答辩公告(三)

    关闭