时间:2022年5月13日(星期五)14:00~18:00
地点:犀浦校区X30425
答辩秘书:吴贯锋
答辩安排:
学生姓名 |
导 师 |
学 号 |
论文题目 |
主 席 |
委 员 |
委 员 |
委 员 |
委 员 |
唐 月 |
徐 扬 |
2019201558 |
几类群的逻辑形式化及验证研究 |
秦克云 |
潘小东 |
徐 鹏 |
陈树伟 |
何星星 |
刘凌荣 |
陈树伟 |
2019201535 |
命题逻辑子句集中基于可满足性等价的冗余性质研究 |
徐 扬 |
秦克云 |
潘小东 |
徐 鹏 |
何星星 |
李 静 |
陈尚云 |
2015201567 |
基于角度偏好和Pareto支配的多目标粒子群算法及其应用 |
秦克云 |
潘小东 |
陈树伟 |
何星星 |
陈丽萍 |
徐 鹏 |
2019201538 |
基于EAP框架的5G协议形式化验证研究 |
秦克云 |
潘小东 |
陈树伟 |
何星星 |
李 洁 |
钟小梅 |
2019201550 |
命题逻辑中子句集的冗余性研究 |
秦克云 |
徐 鹏 |
陈树伟 |
何星星 |
黎兴玉 |
何星星 |
2019201566 |
命题逻辑中的矛盾体复合与图表示 |
秦克云 |
徐 鹏 |
陈树伟 |
潘小东 |
欢迎各位师生光临指导!