研究方向:(06)现代逻辑在计算机科学与人工智能中的应用
政治
外语
专业课一
专业课二
(101)思想政治理论
(201)英语(一) 或 (203)日语 或 (264)二外德语 或 (265)二外法语
(673)哲学综合
(810)形式逻辑基础