教學通知
培養(yǎng)計劃
資料下載
時間：2022年12月16日15:00
騰訊會議：260-318-063
專家組成員：Jun Liu、陳樹偉、徐鵬、何星星
學號
姓名
專業(yè)
題目
導師
2021201710
蘭詠琪
數(shù)學
自動定理證明中面向前提選擇的圖表示法研究
何星星
2021201687
姜世攀
一階邏輯定理證明器CSE中的冗余子句刪除與演繹子句選取策略
陳樹偉
2021201683
賈昊洲
面向RFID安全協(xié)議的研究與形式化分析
徐鵬
歡迎廣大師生蒞臨指導！
上一條：轉：kaiyun開云官方網(wǎng)站2023年碩士研究生招生考試初試成績查詢和申請復核公告 下一條：周正春、范翠玲、楊洋老師指導的2021級碩士研究生開題公告
【關閉】
版權所有 : 開云(中國)Kaiyun·官方網(wǎng)站-登錄入口 ?新聞中心
地址：中國.四川.成都.郫都區(qū)犀安路 999 號kaiyun開云官方網(wǎng)站
郵政編碼：611756
數(shù)學在線學習平臺
教務處
kaiyun開云官方網(wǎng)站
數(shù)學建模
研究生院
黨委組織部
揚華素質(zhì)網(wǎng)（學工部）
黨委教師工作部
精品課程
招生就業(yè)
人力資源部
實驗中心
Journal of Fuzzy Mathematics
校團委
計劃財務處
國家天元數(shù)學西南中心
圖書館
校工會
