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