教學(xué)通知
培養(yǎng)計(jì)劃
資料下載
開(kāi)題時(shí)間:2021年12月14日(周二)15點(diǎn)
開(kāi)題地點(diǎn):犀浦校區(qū)3號(hào)教學(xué)樓30425會(huì)議室
專(zhuān)家組成員:徐揚(yáng)、楊晗、潘小東
歡迎廣大師生蒞臨指導(dǎo)!
姓名
學(xué)號(hào)
導(dǎo)師
報(bào)告題目
劉沛瑤
2019310472
徐揚(yáng)
矛盾體分離演繹中充分使用子句的
一階邏輯自動(dòng)定理證明器研究
上一條:楊洋老師指導(dǎo)的2020級(jí)博士研究生開(kāi)題公告 下一條:研究生(博士、碩士)學(xué)業(yè)檔案“建檔月”
【關(guān)閉】
版權(quán)所有 : 開(kāi)云(中國(guó))Kaiyun·官方網(wǎng)站-登錄入口 ?新聞中心
地址:中國(guó).四川.成都.郫都區(qū)犀安路 999 號(hào)kaiyun開(kāi)云官方網(wǎng)站
郵政編碼:611756
數(shù)學(xué)在線學(xué)習(xí)平臺(tái)
教務(wù)處
kaiyun開(kāi)云官方網(wǎng)站
數(shù)學(xué)建模
研究生院
黨委組織部
揚(yáng)華素質(zhì)網(wǎng)(學(xué)工部)
黨委教師工作部
精品課程
招生就業(yè)
人力資源部
實(shí)驗(yàn)中心
Journal of Fuzzy Mathematics
校團(tuán)委
計(jì)劃財(cái)務(wù)處
國(guó)家天元數(shù)學(xué)西南中心
圖書(shū)館
校工會(huì)