081202計算機軟件與理論
01自動推理
02智能信息處理
03智能診斷和規劃
智能決策支持系統
05約束程序
06軟件理論
07軟件自動化
08編程語言及其實現技術
09軟件工程和軟件工程環境
10軟件復用和軟件構件技術
11數據庫系統
12數據庫和網絡智能
13計算復雜性理論
考試科目:
①101政治
②201英語
③301數學壹
④828集成(數據結構、操作系統、計算機網絡)
復試科目:
離散數學，計算機組成原理
跨學科僅限於信息科學、工程和數學。
參考書目:
081201計算機系統結構，081202計算機軟件與理論，081203計算機應用技術:數據結構，劉主編，，高等教育出版社，2004年，第壹版。左萬裏，計算機操作系統教程，周長林，高等教育出版社，2004年，第2版。計算機網絡，許，，2002，第壹版。《離散數學》，孫繼貴等，高等教育出版社，2004年，第壹版。計算機組成原理，馮媛甄，嚴慧娟，電子工業出版社，2004年，第壹版。