王樹義(大連理工大學城市學院副教授)

王樹義，男，1949年生，中共黨員，大連理工大學城市學院計算機工程學院副教授。

基本介紹

• 中文名：王樹義
• 出生日期：1949年
• 職業：教師
• 畢業院校：吉林大學
• 學位/學歷：碩士
• 專業方向：計算機
• 職稱：副教授
• 性別：男

研究方向

研究方向人工智慧，主要從事機器定理證明和程式驗證的研究。

主講課程

為本科生講授《程式設計語言》，《數據結構》，《離散數學》，《人工智慧》，《作業系統》和《編譯原理》等課程，為研究生講授《可計算性與計算複雜性》。