徐扬教授指导的博士生宁欣然学位论文答辩公告

来源:信息科学与技术学院  作者:刘明慧  日期:2019-11-18  点击数:199

 目:命题逻辑和一阶逻辑子句集的冗余性研究

博士生: 宁欣然

 业: 计算机科学与技术

 师: 徐扬 教授/博导

 

答辩委员会主席:

钟守铭 教授/博导  电子科技大学数学科学学院

答辩委员会委员:

孟  丹    教授/博导   西南财经大学经济信息工程学院

陈红梅       教授/博导   西南交通大学信息科学与技术学院

杨  晗       教授/博导   西南交通大学数学学院

秦克云      教授/博导    西南交通大学数学学院

 

答辩秘书:

陈树伟    副教授        西南交通大学数学学院

 

答辩地点:西南交通大学九里校区信息楼X01020

答辩时间:2019 11 19日(周二)下午15:30

 

欢迎广大师生前来指导和交流!