時間：2022年5月13日（星期五）14：00～18：00
地點：犀浦校區(qū)X30425
答辯秘書：吳貫鋒
答辯安排：
學(xué)生姓名 |
導(dǎo) 師 |
學(xué) 號 |
論文題目 |
主 席 |
委 員 |
委 員 |
委 員 |
委 員 |
唐 月 |
徐 揚 |
2019201558 |
幾類群的邏輯形式化及驗證研究 |
秦克云 |
潘小東 |
徐 鵬 |
陳樹偉 |
何星星 |
劉凌榮 |
陳樹偉 |
2019201535 |
命題邏輯子句集中基于可滿足性等價的冗余性質(zhì)研究 |
徐 揚 |
秦克云 |
潘小東 |
徐 鵬 |
何星星 |
李 靜 |
陳尚云 |
2015201567 |
基于角度偏好和Pareto支配的多目標(biāo)粒子群算法及其應(yīng)用 |
秦克云 |
潘小東 |
陳樹偉 |
何星星 |
陳麗萍 |
徐 鵬 |
2019201538 |
基于EAP框架的5G協(xié)議形式化驗證研究 |
秦克云 |
潘小東 |
陳樹偉 |
何星星 |
李 潔 |
鐘小梅 |
2019201550 |
命題邏輯中子句集的冗余性研究 |
秦克云 |
徐 鵬 |
陳樹偉 |
何星星 |
黎興玉 |
何星星 |
2019201566 |
命題邏輯中的矛盾體復(fù)合與圖表示 |
秦克云 |
徐 鵬 |
陳樹偉 |
潘小東 |
歡迎各位師生光臨指導(dǎo)！
